summaryrefslogtreecommitdiff
path: root/docs/conf.py
diff options
context:
space:
mode:
Diffstat (limited to 'docs/conf.py')
-rw-r--r--docs/conf.py12
1 files changed, 8 insertions, 4 deletions
diff --git a/docs/conf.py b/docs/conf.py
index df713558ca..5a39b69de1 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -138,10 +138,14 @@ html_sidebars = {'index': 'indexsidebar.html'}
# We load all the old-school HTML documentation pages into Sphinx here.
basedir = os.path.dirname(__file__)
html_additional_pages = {}
-for file in os.listdir(basedir):
- if file.endswith('.html'):
- name,_ = os.path.splitext(file)
- html_additional_pages[name] = file
+for directory in ('', 'tutorial'):
+ for file in os.listdir(os.path.join(basedir, directory)):
+ if not file.endswith('.html'):
+ continue
+
+ subpath = os.path.join(directory, file)
+ name,_ = os.path.splitext(subpath)
+ html_additional_pages[name] = subpath
# If false, no module index is generated.
#html_domain_indices = True