`make deploy-docs` to GitHub Pages