new pages config

Author: stomfaig

.github/workflows/deploy.yml

@@ -0,0 +1,32 @@
+name: Deploy Notes
+
+on:
+  push:
+    branches: [main]
+
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+jobs:
+  deploy:
+    runs-on: ubuntu-latest
+
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: Install pandoc
+        uses: pandoc/actions/setup@v1
+
+      - name: Build site
+        run: bash build.sh
+
+      - name: Upload Pages artifact
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: public
+
+      - name: Deploy to GitHub Pages
+        uses: actions/deploy-pages@v4
+

.github/workflows/pages.yml

@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+set -e
+
+CONFIG=site.yml
+INPUT=notes
+OUTPUT=public
+
+mkdir -p $OUTPUT
+
+for file in $INPUT/*.md; do
+  name=$(basename "$file" .md)
+  pandoc "$file" \
+    --template=templates/page.html \
+    --mathjax \
+    --highlight-style=pygments \
+    -o "$OUTPUT/$name.html"
+done
+
+cp -r static "$OUTPUT/"
+

build.sh

@@ -0,0 +1,3 @@
+## This is a test note
+
+$$ X' = F(X) + \operatorname{Res}(X, F(X))$$