.github/workflows/gh-pages.yml

name: Documentation

on:
  push:
    branches:
      - main
  workflow_dispatch:

concurrency: 
  group: ${{ github.workflow }}-${{ github.ref }}
  cancel-in-progress: true

jobs:
  documentation:
    runs-on: ubuntu-latest
    steps:
      - uses: hecrj/setup-rust-action@master
      - uses: actions/checkout@v3
      - uses: dtolnay/rust-toolchain@stable
      - uses: Swatinem/rust-cache@v2
      - name: Setup mdBook
        uses: peaceiris/actions-mdbook@v1
        with:
          mdbook-version: 'latest'
      - name: Build docs
        run: |
          cd openmls
          cargo doc --no-deps
          touch ../target/doc/.nojekyll
          cd ..
          mkdir temp_docs
          mv target/doc temp_docs
          cd book
          mdbook build
          cd ..
          mv book/book temp_docs
          cd temp_docs
          cat > index.html <<EOF
          <!doctype html>
          <html>
          <a href="doc/openmls/index.html">Docs</a>
          <a href="book/index.html">Book</a>
          </html>
          EOF
      - name: Deploy docs to GitHub Pages
        uses: peaceiris/actions-gh-pages@v3
        with:
          github_token: ${{ secrets.GITHUB_TOKEN }}
          publish_dir: temp_docs