Documentation is now hosted on RTD, which allows for much easier handling of different versions (e.g. current master vs last stable release). This PR does two changes related to that:
Update all links to the documentation
Remove the GitHub workflow that publishes the Pages docs.
Documentation is now hosted on RTD, which allows for much easier handling of different versions (e.g. current master vs last stable release). This PR does two changes related to that:
Closes #129