diff --git a/build_docs.py b/build_docs.py index 16927ee..3e9731e 100644 --- a/build_docs.py +++ b/build_docs.py @@ -1,13 +1,14 @@ import subprocess import os +import time os.system("mdbook build --dest-dir './book'") os.system("mdbook build --dest-dir './book/latest'") tags = subprocess.run(["git", "tag"], stdout=subprocess.PIPE).stdout.decode('utf-8') - for tag in tags.split("\n"): if tag == "": continue print("Building tag", tag) - os.system("git switch " + tag) + os.system("git checkout " + tag) + time.sleep(1) os.system("mdbook build --dest-dir './book/" + tag + "'")