Merge pull request #204 from slimgroup/tinyfix #217

	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

Provide feedback