summaryrefslogtreecommitdiff
path: root/src/python/doc/python3-sphinx-build.py
diff options
context:
space:
mode:
authorROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-09-09 16:03:40 +0200
committerROUVREAU Vincent <vincent.rouvreau@inria.fr>2019-09-09 16:03:40 +0200
commit68753b3c28321e28eedd5829c94234da84e25c8d (patch)
tree36003a30309b3203b41092ad4d7ee8fa78551452 /src/python/doc/python3-sphinx-build.py
parentdcbdaa0dc00eb069d1a13575f22c0a2f7d63dcc8 (diff)
Code review: rename cython as python (make target and directory
Diffstat (limited to 'src/python/doc/python3-sphinx-build.py')
-rwxr-xr-xsrc/python/doc/python3-sphinx-build.py11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/python/doc/python3-sphinx-build.py b/src/python/doc/python3-sphinx-build.py
new file mode 100755
index 00000000..84d158cf
--- /dev/null
+++ b/src/python/doc/python3-sphinx-build.py
@@ -0,0 +1,11 @@
+#!/usr/bin/env python3
+
+"""
+Emulate sphinx-build for python3
+"""
+
+from sys import exit, argv
+from sphinx import main
+
+if __name__ == '__main__':
+ exit(main(argv))