Browse Source

Build docs at root path

github-actions
Garrit Franke 1 year ago
parent
commit
9efc45d846
  1. 3
      build_docs.py

3
build_docs.py

@ -1,8 +1,7 @@
import subprocess
import os
os.system("mkdir ./book")
os.system("mkdir ./book/latest")
os.system("mdbook build")
os.system("mdbook build --dest-dir './book/latest'")
tags = subprocess.run(["git", "tag"], stdout=subprocess.PIPE).stdout.decode('utf-8')

Loading…
Cancel
Save