Use a python generator

Author: nguyenvukhang

.github/workflows/deploy.yml

@@ -21,6 +21,7 @@ jobs:
     steps:
       - name: Checkout
         uses: actions/checkout@v4
+      - run: python3 generate.py
       - run: mkdir dist && mv *.html dist
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3

generate.py

@@ -0,0 +1,11 @@
+import sys
+
+
+def page(slug, url):
+    with open(slug + ".html", "w") as sys.stdout:
+        print(f"<meta http-equiv='refresh' content='0;url={url}' />")
+
+
+page("index", "https://github.com/libmath/math/issues/1")
+page("wiki", "https://github.com/libmath/z/wiki")
+page("stack", "https://github.com/libmath/math/issues/1")