diff options
author | Aaron Carlisle <carlisle.b3d@gmail.com> | 2016-10-23 18:47:56 +0300 |
---|---|---|
committer | Bastien Montagne <montagne29@wanadoo.fr> | 2016-10-23 18:48:31 +0300 |
commit | 1d13950ae544d532ed5a89b5fe4184c60214ee71 (patch) | |
tree | 012e7922b3d1a7fe71db2677868474696f3e776e /doc | |
parent | e0a34e963fff4e569f6953325854b1c7acb6f1c6 (diff) |
API doc: enable 'split index' option.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/python_api/sphinx_doc_gen.py | 1 |
1 files changed, 1 insertions, 0 deletions
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 |