diff options
author | Aaron Carlisle <carlisle.b3d@gmail.com> | 2018-08-14 02:07:50 +0300 |
---|---|---|
committer | Aaron Carlisle <carlisle.b3d@gmail.com> | 2018-08-14 03:51:33 +0300 |
commit | 57e63599205f5cba75c119b44d253ed7cc65771d (patch) | |
tree | a328bfedd28e39417334cb1a9dd8b06044faa68f /doc/python_api/sphinx_doc_update.py | |
parent | 7d8477e0190d2b8b661eebf4e110831f2c3a9805 (diff) |
PyDoc: Remove hack to rename main doc from 'contents' to 'index'
Diffstat (limited to 'doc/python_api/sphinx_doc_update.py')
-rwxr-xr-x | doc/python_api/sphinx_doc_update.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/python_api/sphinx_doc_update.py b/doc/python_api/sphinx_doc_update.py index af44137aca4..702151317b3 100755 --- a/doc/python_api/sphinx_doc_update.py +++ b/doc/python_api/sphinx_doc_update.py @@ -163,7 +163,6 @@ def main(): os.rename(zip_path, os.path.join(api_dir, "%s.zip" % zip_name)) # VII) Create symlinks and html redirects. - os.symlink("./contents.html", os.path.join(api_dir, "index.html")) if is_release: symlink = os.path.join(args.mirror_dir, "current") os.remove(symlink) |