1 files changed, 14 insertions, 0 deletions
diff --git a/Doc/tools/sphinx-build.py b/Doc/tools/sphinx-build.py
new file mode 100644
index 0000000000..20516b642b
--- /dev/null
+++ b/Doc/tools/sphinx-build.py
@@ -0,0 +1,14 @@
+# -*- coding: utf-8 -*-
+"""
+    Sphinx - Python documentation toolchain
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+    :copyright: 2007 by Georg Brandl.
+    :license: Python license.
+"""
+
+import sys
+
+if __name__ == '__main__':
+    from sphinx import main
+    sys.exit(main(sys.argv))