Export reference manual to GitHub pages.

.github/workflows/build.yml

@@ -1,27 +1,47 @@
-name: Build Documentation
-on:
-  push:
-  pull_request:
-  schedule:
-  - cron: "0 0 1 * *"
+name: Build & Deploy EasyCrypt Documentation
+
+on: [push,pull_request]
 
 jobs:
-  build_refman:
+  build-refman:
     runs-on: ubuntu-latest
     steps:
-      - name: Set up Git repository
-        uses: actions/checkout@v3
+      - name: Set up Git Repository
+        uses: actions/checkout@v4
       - name: Compile Reference Manual
-        uses: xu-cheng/latex-action@v2
+        uses: xu-cheng/latex-action@v3
         with:
           working_directory: refman
           latexmk_shell_escape: true
           args: "-pdf -bibtex -file-line-error -halt-on-error -interaction=nonstopmode"
           root_file: refman.tex
         env:
           TEXINPUTS: ".:../common/:"
-      - name: Save Reference Manual
-        uses: actions/upload-artifact@v3
+      - name: Copy Reference Manual
+        run: |
+          mkdir _pages
+          cp refman/refman.pdf _pages
+      - name: Setup Pages
+        if: github.ref == 'refs/heads/main'
+        uses: actions/configure-pages@v3
+      - name: Upload Artifact
+        if: github.ref == 'refs/heads/main'
+        uses: actions/upload-pages-artifact@v1
         with:
-          name: refman
-          path: refman/refman.pdf
+          path: "./_pages"
+
+  deploy-pages:
+    if: github.ref == 'refs/heads/main'
+    needs: [build-refman]
+    runs-on: ubuntu-latest
+    name: Deploy to GitHub Pages
+    permissions:
+      pages: write
+      id-token: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v2