Build man pages during website ci
Currently we manually copy the man pages for the release in the website
branch.
These could be built by CI when the website is rebuilt. @evelikov pointed out a complication with my plan. Essentially we'd want to build the man pages from the latest release tag rather than the master branch, whereas the rest of the website content can come from the master branch.
If we manage to stop storing the man pages in the website
branch, then I think we should rename this git-lfs branch to something like releases
or tarballs
.