Browse Source

Add build_docs script

github-actions
Garrit Franke 3 years ago
parent
commit
63f3b4ff1c
  1. 12
      build_docs.py
  2. 13
      docs/SUMMARY.md

12
build_docs.py

@ -0,0 +1,12 @@
import subprocess
import os
os.system("mkdir ./book/latest")
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
os.system("git checkout " + tag)
os.system("mdbook build --dest-dir './book/" + tag + "'")

13
docs/SUMMARY.md

@ -2,16 +2,3 @@
- [Introduction](./introduction/SUMMARY.md)
- [Installation](./introduction/installation.md)
- [The Command Line Interface]()
- [Hello World!]()
- [Language concepts]()
- [Functions]()
- [Variables]()
- [Comments]()
- [Data Types]()
- [Control Flow]()
- [Compiler]()
- [Overview]()
- [Frontend]()
- [Available Backends]()
- [JavaScript]()

Loading…
Cancel
Save