Merge

.github/workflows/gh-pages.yml

@@ -0,0 +1,34 @@
+name: GitHub Pages build and deploy
+
+on:
+  push:
+    branches:
+      - main
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - uses: actions/configure-pages@v3
+        id: pages
+      - uses: actions/setup-node@v4
+        with:
+          node-version: '20'
+      - run: npm install
+      - run: npm run build
+      - uses: actions/upload-pages-artifact@v3
+        with:
+          path: ./docs
+  deploy:
+    needs: build
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{steps.deployment.outputs.page_url}}
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/deploy-pages@v4
+      id: deployment

.gitignore

@@ -1,8 +1,13 @@
+node_modules
+
+# Website is built by GHA, so don't commit
+docs
+
+# Temp files
 *~
 #*
-node_modules
 .DS_Store
 *.log
 log
 built
-t
+t