diff options
| author | Aaron <carlisle.b3d@gmail.com> | 2017-01-20 00:16:04 +0300 |
|---|---|---|
| committer | Aaron <carlisle.b3d@gmail.com> | 2017-01-20 00:16:04 +0300 |
| commit | 831cfcfb3dc30ce3a3c8e7251a099ee09c02f34f (patch) | |
| tree | d7c2134daa589cdf976e66aaab2aa27bd70417de /doc | |
| parent | c91bdaf55b26bf156619f20ae6d9779ced56a7f5 (diff) | |
API: Do not show "Created using Sphinx" in the footer
I talked to Campbell and he said there is no need for this
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 3cb98c677c1..e8154f9ea66 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_show_sphinx = False\n") fw("html_split_index = True\n") fw("\n") |