From 14e0f07f2d5eaa6996a73f8304bb38391d59242b Mon Sep 17 00:00:00 2001
From: Garrit Franke <garrit@slashdev.space>
Date: Sun, 7 Feb 2021 16:48:16 +0100
Subject: [PATCH] docs: fix build script

---
 build_docs.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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 + "'")