This PR will allow development version documentation to be built on GitHub Actions and deployed to GitHub Pages.
It would be nice to have the latest (development) version of the documentation automatically built and available on GitHub Pages. It will also motivate me to enhance the documentation.
This PR will allow development version documentation to be built on GitHub Actions and deployed to GitHub Pages.
It would be nice to have the latest (development) version of the documentation automatically built and available on GitHub Pages. It will also motivate me to enhance the documentation.