From 1d13950ae544d532ed5a89b5fe4184c60214ee71 Mon Sep 17 00:00:00 2001 From: Aaron Carlisle Date: Sun, 23 Oct 2016 17:47:56 +0200 Subject: API doc: enable 'split index' option. --- doc/python_api/sphinx_doc_gen.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/python_api/sphinx_doc_gen.py b/doc/python_api/sphinx_doc_gen.py index 6c1b694333f..432cceece1c 100644 --- 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 -- cgit v1.2.3