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