Move Doc/tools/sphinxext content to Doc/tools, there is no need for the nested subdirectory anymore.

This commit is contained in:
Georg Brandl 2014-09-30 22:51:30 +02:00
parent 2b1a0a30c9
commit 97e9ec688c
23 changed files with 8 additions and 89 deletions

View file

@ -7,14 +7,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'
@ -96,7 +96,7 @@ html_additional_pages = {
html_use_opensearch = 'http://docs.python.org/' + version
# 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('.', '')