Generate and publish docs #141

	name: Generate and publish docs

	on:
	push:
	branches:
	- main
	pull_request:
	workflow_dispatch:
	schedule:
	- cron: "0 0 * * 3"

	jobs:
	docs:
	runs-on: ubuntu-latest
	steps:
	- name: Get repository
	uses: actions/checkout@v3

	- name: Set up Python environment
	uses: actions/setup-python@v4
	with:
	python-version: "3.11"

	- name: Install documentation dependencies
	run: \|
	sudo apt update && sudo apt install -qqy texlive texlive-latex-recommended texlive-latex-extra texlive-fonts-extra latexmk

	- name: Install and configure Poetry
	uses: snok/install-poetry@v1

	- name: Install RDFM server in venv
	run: \|
	poetry -C server/ install

	- name: Build RDFM documentation
	run: \|
	poetry -C server/ run .github/scripts/build-docs.sh

	- name: "Upload artifact: Sphinx HTML and PDF"
	uses: actions/upload-artifact@v3
	with:
	name: Documentation
	path: documentation/build/

	- name: Deploy
	if: github.ref == 'refs/heads/main'
	run: \|
	sudo chown -R $(whoami) documentation
	cp documentation/build/latex/*.pdf documentation/build/html/
	cd documentation/build/html
	touch .nojekyll
	git init
	cp ../../../.git/config ./.git/config
	git add .
	git config --local user.email "push@gha"
	git config --local user.name "GHA"
	git commit -am "update ${{ github.sha }}"
	git push -u origin +HEAD:gh-pages
	rm -rf .git

Provide feedback