Updates to HTML build in CI #5

	name: Build GitHub pages

	on:
	push:
	branches:
	- develop

	jobs:

	build_html:
	runs-on: ubuntu-latest

	env:
	COMMIT_AUTHOR: OPTIMADE developers
	COMMIT_AUTHOR_EMAIL: [email protected]

	steps:

	- uses: actions/checkout@v2

	- uses: actions/setup-python@v4
	with:
	python-version: '3.10'

	- name: Install dependencies
	run: pip install docutils

	- name: Run rst2html
	run: make html

	- name: Configure git
	run: \|
	git config --global user.name "${COMMIT_AUTHOR}"
	git config --global user.email "${COMMIT_AUTHOR_EMAIL}"

	- name: Commit to gh-pages
	run: \|
	git checkout gh-pages
	git add optimade.html
	mkdir -p specification/develop
	mv optimade.html specification/develop/index.html
	git commit -m "Deploy develop specification to GitHub Pages: ${SHA}"
	if git diff --cached --quiet; then
	exit 0
	fi

	- name: Push changes
	uses: ad-m/[email protected]
	with:
	branch: gh-pages
	force: true
	github_token: ${{ secrets.GITHUB_TOKEN }}

Provide feedback