.github/workflows/dist.yml: Build gmp, mpfr, mpc from SPKG #47

	name: Documentation
	on:
	push: { branches: [ "master" ] }
	pull_request: { branches: [ "master" ] }

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

	jobs:
	build-manual:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	with: { submodules: recursive }
	- uses: conda-incubator/setup-miniconda@v2
	with: { miniforge-variant: "Mambaforge", miniforge-version: "latest" }
	- name: Install pplpy dependencies
	shell: bash -l {0}
	run: \|
	mamba env update --quiet -n test -f environment.yml
	conda list
	- name: Install pplpy
	shell: bash -l {0}
	run: \|
	pip install --verbose --no-index --no-build-isolation .
	- name: Install test dependencies
	run: \|
	mamba env update --quiet -n test -f environment.test.yml
	conda list
	- name: Build documentation
	shell: bash -l {0}
	run:
	sphinx-build docs/source html/pplpy
	- name: Detect broken links
	shell: bash -l {0}
	run: \|
	python -m http.server 8880 --directory html &
	sleep 1
	# We ignore _modules since sphinx puts all modules in the module
	# overview but does not generate pages for .pyx modules.
	# We also ignore a url that is generated by sphinx itself (version 7.2.6).
	linkchecker --check-extern --ignore-url='_modules/\|https://www.sphinx-doc.org/' http://localhost:8880
	- uses: JamesIves/[email protected]
	with:
	GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
	BRANCH: gh-pages
	FOLDER: html/pplpy/
	TARGET_FOLDER: docs/
	if: ${{ github.event_name == 'push' }}

Provide feedback