API doc: enable 'split index' option.

2016-10-23 17:47:56 +02:00 · 2016-10-23 17:47:56 +02:00 · 1d13950ae5
parent e0a34e963f
commit 1d13950ae5
1 changed files with 1 additions and 0 deletions
--- a/doc/python_api/sphinx_doc_gen.py
+++ b/doc/python_api/sphinx_doc_gen.py
@ -1655,6 +1655,7 @@ def write_sphinx_conf_py(basepath):

    # not helpful since the source is generated, adds to upload size.
    fw("html_copy_source = False\n")
+    fw("html_split_index = True\n")
    fw("\n")

    # needed for latex, pdf gen