Browse Source

docs: fix build script

github-actions
Garrit Franke 9 months ago
parent
commit
14e0f07f2d
  1. 5
      build_docs.py

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

Loading…
Cancel
Save