Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] [Afp-submit] AFP devel links redirect to stable


view this post on Zulip Email Gateway (Oct 17 2022 at 08:59):

From: Gerwin Klein <kleing@unsw.edu.au>
It should definitely stay checked in in web. The point of this is to have a record of what was published — e.g. it’s already impossible to recreate the website from 2005 with the tools from back then, but it’s very easy to just check it out. Using something like hugo now makes this even more important.

I don’t see that this has anything to do with the error that was reported, though. The devel website script is supposed to overwrite the contents of what is in the repository, the content in web/ is only important for the release version where it is checked that it is in sync.

So if there are links to the release left over in devel, the problem is in the script and it doesn’t matter if we check it in or not.

Cheers,
Gerwin


Last updated: Apr 23 2024 at 08:19 UTC