Build and publish a release

`copy_untracked` should be `copy_ignored` (#98) #16

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build user manual	21s
Deploy to GitHub Pages	8s
	29s