deploy_doc.yaml

name: Publish docs via GitHub Pages

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

on:
  push:
    branches:
      - master
    tags: '*'

jobs:
  build:
    name: Deploy docs
    runs-on: ubuntu-latest
    env:
      CI: "true"

    steps:
      - name: Checkout master
        uses: actions/checkout@v2

      - name: Set up Python 3.9
        uses: actions/setup-python@v4
        with:
          python-version: 3.9

      - uses: julia-actions/setup-julia@latest
      
      - name: Set up Python 3.9
        uses: actions/setup-python@v4
        with:
          python-version: 3.9

      - name: Install dependencies
        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'

      - name: Build python doc
        run: |
          pip install --upgrade pip
          pip install sphinx-markdown-builder==0.5.5 sphinx-markdown-parser devito matplotlib
          pip install "sphinx==3.1.0" "MarkupSafe==2.0.1" "jinja2<3.1"
          make clean
          make markdown
          mv _build/markdown/pysource.md ../../docs/src/pysource.md
        working-directory: src/pydocs/

      - name: Build doc
        run: |
          pip install --upgrade jupyter Pygments
          for f in *.ipynb;do jupyter nbconvert --to markdown --output-dir='../../docs/src/tutorials' $f; done
        working-directory: examples/notebooks/

      - name: Build and deploy
        env:
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
        run: julia --project=docs/ docs/make.jl