Merge branch 'master' into nonreducing #180

	name: Documentation Build

	on: [push, pull_request]

	jobs:
	docbuild:
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v2
	with:
	fetch-depth: 100

	- name: Get tags
	run: git fetch --depth=1 origin +refs/tags/:refs/tags/

	- name: Set up minimal Python version
	uses: actions/setup-python@v2
	with:
	python-version: "3.10"

	- name: Get pip cache dir
	id: pip-cache
	run: echo "::set-output name=dir::$(pip cache dir)"

	- name: Setup pip cache
	uses: actions/cache@v2
	with:
	path: ${{ steps.pip-cache.outputs.dir }}
	key: pip-docs
	restore-keys: pip-docs

	- name: Install locales
	run: \|
	sudo apt-get install language-pack-fr
	sudo localedef -i fr_FR -f UTF-8 fr_FR

	- name: Install dependencies
	run: \|
	sudo apt install -y pandoc
	pip install --upgrade pip setuptools wheel
	pip install -r "requirements_docs.txt"
	pip install docutils==0.14 commonmark==0.8.1 recommonmark==0.5.0 babel==2.8
	pip install .

	- name: Build documentation
	run: sphinx-build -n -j auto -b html -d build/doctrees docs build/html

	- name: Doc Tests
	run: sphinx-build -a -j auto -b doctest -d build/doctrees docs build/doctest

Provide feedback