diff options
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) |