Closed silene closed 2 years ago
FYI I've updated the version at https://coq.inria.fr/refman/. I'll put the Zenodo action on my to-do (but won't do it immediately).
Are you saying that I should only keep the changes to incl/macros.html
and drop the other ones?
Yes, that's what I suggest.
The news page on the website has been archived (as "old news"). The front page of the website now recommends to check out Discourse, Twitter and the releases on GitHub for Coq and the platform.
OTOH the update of the current version is important for the opam using documentation.