From 8b05787c01be20ca2b65ce1a8e47e0330e034522 Mon Sep 17 00:00:00 2001 From: Garrit Franke Date: Wed, 9 Dec 2020 18:12:51 +0100 Subject: [PATCH] Use git switch for building docs --- build_docs.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build_docs.py b/build_docs.py index 91eac88..16927ee 100644 --- a/build_docs.py +++ b/build_docs.py @@ -8,5 +8,6 @@ tags = subprocess.run(["git", "tag"], stdout=subprocess.PIPE).stdout.decode('utf for tag in tags.split("\n"): if tag == "": continue - os.system("git checkout " + tag) + print("Building tag", tag) + os.system("git switch " + tag) os.system("mdbook build --dest-dir './book/" + tag + "'")