Deploy docs

Remove `src-html` directories during deployment. #3

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build GitHub Pages site	3m 13s
Deploy to GitHub Pages	1s
Deploy to GitHub Pages	1m 32s
Build GitHub Pages site	3m 13s
	7m 59s