Split the HTML index.

diff --git a/Doc/conf.py b/Doc/conf.py
index da706692eea40773e97923cfd3a61800cf7ca248..41a6b619814616360b11dc6c8ced7856635149ed 100644 (file)
--- a/Doc/conf.py
+++ b/Doc/conf.py
@@ -94,6 +94,9 @@ html_static_path = ['tools/sphinxext/static']
 # Output file base name for HTML help builder.
 htmlhelp_basename = 'python' + release.replace('.', '')
 
+# Split the index
+html_split_index = True
+
 
 # Options for LaTeX output
 # ------------------------