On Tue, 2023-11-21 at 15:12 +0100, Tobias Burnus wrote: > On 21.11.23 14:57, David Malcolm wrote: > > On Tue, 2023-11-21 at 02:09 +0100, Hans-Peter Nilsson wrote: > > > Sorry for barging in though I did try finding the relevant > > > discussion, but is committing this generated stuff necessary? > > > Is it because we don't want to depend on Python being > > > present at build time? > > Partly, yes, [...] > > I wonder how to ensure that this remains up to date. Should there be > an > item at > > https://gcc.gnu.org/branching.html and/or > https://gcc.gnu.org/releasing.html similar to the .pot generation?
Good point; the releasing.html's Preparations could have as point 6: Regenerate the .opt.urls files by running "make regenerate-opt-urls" in the build/gcc directory. or similar. We should also probably recommend that people do that when adding a new option; is there a documentation page for that? Dave