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))