build-docs #106

	name: build-docs

	on:
	push:
	# all branches
	paths:
	- 'documentation/**'
	pull_request:
	# all branches
	paths:
	- 'documentation/**'

	# This enables the Run Workflow button on the Actions tab.
	workflow_dispatch:

	jobs:

	build-and-deploy:
	runs-on: ubuntu-latest
	steps:

	- uses: actions/checkout@v4

	- name: Generate docs
	uses: addnab/docker-run-action@v3
	with:
	image: ghcr.io/fraya/dylan-docs:main
	options: -v ${{ github.workspace }}/documentation:/docs
	run: make html

	- name: Deploy docs
	uses: JamesIves/github-pages-deploy-action@v4
	with:
	folder: documentation/build/html
	target-folder: docs/

Provide feedback