diff --git a/docs/build_docs/update_html.py b/docs/build_docs/update_html.py index ed998c58b97..b9c543191c1 100644 --- a/docs/build_docs/update_html.py +++ b/docs/build_docs/update_html.py @@ -26,11 +26,12 @@ def update_version_link(version, folder_name, index_file): with open(index_file, "r") as f: index_buf = f.read() - key_str = '
\n {}\n
'.format(version) - version_list = """
+ key_str = '
\n' + version_list = """
{}▼

Click link above to switch version

-
""".format( +
+
\n""".format( index_path, folder_name ) # print(index_buf.find(key_str)) @@ -97,4 +98,5 @@ def help(me): folder = sys.argv[1] version = sys.argv[2] + print(f"run {sys.argv[0]} {sys.argv[1]} {sys.argv[2]}") main(folder, version)