The website currently has to be manually updated for each release. Once we generate release artifacts automatically (#119), the website can instead point all of its links just to "latest release" URLs in GitHub, such that when we make a new release the website will be mostly automatically updated.
We can also stop linking old release material on the website, and just give an "old releases here" pointer to the release collection on GitHub.
The website currently has to be manually updated for each release. Once we generate release artifacts automatically (#119), the website can instead point all of its links just to "latest release" URLs in GitHub, such that when we make a new release the website will be mostly automatically updated.
We can also stop linking old release material on the website, and just give an "old releases here" pointer to the release collection on GitHub.