Move the 3k reST doc tree in place.
diff --git a/Doc/tools/sphinx-web.py b/Doc/tools/sphinx-web.py
new file mode 100644
index 0000000..5f7b50b
--- /dev/null
+++ b/Doc/tools/sphinx-web.py
@@ -0,0 +1,14 @@
+# -*- coding: utf-8 -*-
+"""
+    Sphinx - Python documentation webserver
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+
+    :copyright: 2007 by Georg Brandl.
+    :license: Python license.
+"""
+
+import sys
+
+if __name__ == '__main__':
+    from sphinx.web import main
+    sys.exit(main(sys.argv))