On Tue, 7 Jan 2025, Gerald Pfeifer wrote: >> Are such pages created via a script? If so I am happy to fix it as well. > Unless our release managers (Jakub on this case) have been taken over by > ChatGPT/Gemini/you-name-it I believe this is manual work following > https://gcc.gnu.org/releasing.html > though I just noticed criteria.html (and creating the directory for > the new release) isn't actually covered.
My bad: This is actually part of branching for a new release, which is covered by https://gcc.gnu.org/branching.html Gerald
