Can I get a quick handling of https://github.com/coq/coq/pull/13878 ? (refman job is already green)
FWIW I've uploaded the PDF manual to the release on GitHub.
(And switched the refman version. I mixed things up in the release checklist. PR incoming.)
I think you should document how to switch version. Is it written somewhere?
Yes, it is specified in the release checklist. Unfortunately, you need access to the web server to do this.
I see, we should find a way to automate this. Can't the version be dictated by coq/www somehow?
Last updated: Oct 21 2021 at 20:02 UTC