diff --git a/build_docs.py b/build_docs.py new file mode 100644 index 0000000..5507e3e --- /dev/null +++ b/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 + "'") diff --git a/docs/SUMMARY.md b/docs/SUMMARY.md index 63567f7..ffe4554 100644 --- a/docs/SUMMARY.md +++ b/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]()