pages.yml

name: Build and publish gh-pages.

on:
  push:
    branches:
      - develop
jobs:
  build-and-deploy:
    name: Build HTML pages.
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
        with:
          fetch-depth: 0
      - name: Isabelle build.
        run: |
           mkdir output
           mkdir AOT.ExportInfo
           chmod 777 output
           chmod 777 AOT.ExportInfo
           sed -i -e 's/document = pdf, //' ROOT
           docker run -v "$(pwd):/home/isabelle/AOT:rw" makarius/isabelle:Isabelle2023 build -D /home/isabelle/AOT -o browser_info -P /home/isabelle/AOT/output -e
           cp -r output build
      - name: Patch pages.
        run: .github/workflows/patch_pages.py build/AOT/AOT/*.html
      - name: Replace index.
        run: cp .github/workflows/*.html build
      - name: Deploy github pages.
        uses: JamesIves/github-pages-deploy-action@4.1.4
        with:
          branch: gh-pages
          folder: build