summaryrefslogtreecommitdiff
path: root/src/python/doc/python3-sphinx-build.py
diff options
context:
space:
mode:
authorThéo Lacombe <lacombe1993@gmail.com>2020-06-29 10:24:44 +0200
committerGitHub <noreply@github.com>2020-06-29 10:24:44 +0200
commit0b4de61a18bc30f66a7fb45cc246cff2f55ba1a1 (patch)
tree47527fd4d63632f3c39a6f2660ec141417f093b6 /src/python/doc/python3-sphinx-build.py
parent6c65d29acc3b03d21beca653834340787bf0c65e (diff)
parentcec4a5d7df6d5ed43511e94f9db580489979105a (diff)
Merge branch 'master' into fix342
Diffstat (limited to 'src/python/doc/python3-sphinx-build.py')
-rwxr-xr-xsrc/python/doc/python3-sphinx-build.py11
1 files changed, 0 insertions, 11 deletions
diff --git a/src/python/doc/python3-sphinx-build.py b/src/python/doc/python3-sphinx-build.py
deleted file mode 100755
index 84d158cf..00000000
--- a/src/python/doc/python3-sphinx-build.py
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/usr/bin/env python3
-
-"""
-Emulate sphinx-build for python3
-"""
-
-from sys import exit, argv
-from sphinx import main
-
-if __name__ == '__main__':
- exit(main(argv))