diff options
| author | Alexandre Flament <alex@al-f.net> | 2021-01-29 08:16:44 +0100 |
|---|---|---|
| committer | Alexandre Flament <alex@al-f.net> | 2021-02-01 16:58:04 +0100 |
| commit | d70c5a621a3afe8a6da2ee1daa241467e42c1b75 (patch) | |
| tree | 3f2b858e25e295052e3eee19fb73402b81819f41 /utils/makefile.sphinx | |
| parent | 806af5073807a48308af61ab596b347ff54af5df (diff) | |
[mod] more robust make pyenv / make pyenvinstall
"make pyenv" ensures that ./local/py3/bin/python is an executable
Diffstat (limited to 'utils/makefile.sphinx')
0 files changed, 0 insertions, 0 deletions