diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-10 00:04:02 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2019-12-10 00:04:02 +0100 |
commit | 4391bf38f14f483b9032e3eaf99f315f2f053026 (patch) | |
tree | d0f661fde855414ae4defc35d31dd55e3fd8487a /src | |
parent | 9f9663ccee928ba9d73c970e4e174aff9043bb76 (diff) |
Remove debug traces
Diffstat (limited to 'src')
-rwxr-xr-x | src/python/doc/python3-sphinx-build.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/python/doc/python3-sphinx-build.py b/src/python/doc/python3-sphinx-build.py index 3628e89e..d1f0f08e 100755 --- a/src/python/doc/python3-sphinx-build.py +++ b/src/python/doc/python3-sphinx-build.py @@ -4,8 +4,7 @@ Emulate sphinx-build for python3 """ -from sys import exit, argv, executable -print(executable) +from sys import exit, argv import sphinx from sphinx import main |