Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.
diff --git a/Doc/conf.py b/Doc/conf.py
index c90ed59..4051a56 100644
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -8,14 +8,14 @@
# that aren't pickleable (module imports are okay, they're removed automatically).
import sys, os, time
-sys.path.append(os.path.abspath('tools/sphinxext'))
+sys.path.append(os.path.abspath('tools'))
# General configuration
# ---------------------
extensions = ['sphinx.ext.coverage', 'sphinx.ext.doctest',
'pyspecific', 'c_annotations']
-templates_path = ['tools/sphinxext']
+templates_path = ['tools']
# General substitutions.
project = 'Python'
@@ -89,7 +89,7 @@
html_use_opensearch = 'http://docs.python.org/'
# Additional static files.
-html_static_path = ['tools/sphinxext/static']
+html_static_path = ['tools/static']
# Output file base name for HTML help builder.
htmlhelp_basename = 'python' + release.replace('.', '')