`make update-Makefile` #30

	name: Deploy to GitHub Pages
	on:
	push:
	branches:
	- main
	jobs:
	build-pages:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: ./.github/actions/bootstrap
	- run: npm run build
	- name: Setup git config
	run: \|
	git config --global user.email "actions@github.com"
	git config --global user.name "GitHub Actions"
	- name: Commit
	run: \|
	git add -f www
	git commit -m "Build for deploy"
	- name: Build
	run: \|
	npm ci
	make build
	- name: Upload artifact
	uses: actions/upload-pages-artifact@v1
	with:
	path: ./www
	retention-days: 1

	deploy-pages:
	runs-on: ubuntu-latest

	needs: build-pages

	# Grant GITHUB_TOKEN the permissions required to make a Pages deployment
	# https://github.com/actions/deploy-pages#usage
	permissions:
	pages: write
	id-token: write

	environment:
	name: github-pages
	url: ${{ steps.deployment.outputs.page_url }}

	steps:
	- name: Deploy to GitHub Pages
	id: deployment
	uses: actions/deploy-pages@v1

Provide feedback