name: Deploy Manual

on:
  push:
    branches:
      - master

jobs:
  deploy:
    runs-on: ubuntu-20.04
    concurrency:
      group: ${{ github.workflow }}-${{ github.ref }}
    steps:
      - uses: actions/checkout@v2

      - uses: actions-rs/toolchain@v1
        with:
          profile: minimal
          toolchain: 1.56.0
          override: true
      - uses: actions-rs/cargo@v1
        with:
          command: doc

      - name: Setup mdBook
        uses: peaceiris/actions-mdbook@v1
        with:
          mdbook-version: '0.4.14'

      - name: Build manual
        run: mdbook build
        working-directory: manual

      - name: Add rustdoc output
        run: cp -r target/doc manual/book/rustdoc

      - name: Deploy to GitHub pages
        uses: JamesIves/github-pages-deploy-action@4.1.6
        with:
          branch: gh-pages
          folder: manual/book