Re: [PATCH 0/3] Option handling: add documentation URLs

2023-11-15 Thread Joseph Myers
On Wed, 15 Nov 2023, David Malcolm wrote: > As mentioned, I'm currently investigating capturing per-language option > URLs (to address Iain's and Marc's comments about D and Ada); if I get > that working, I may need to add a similar note for adding a new > frontend. > > Hope the overall approach

Re: [PATCH 0/3] Option handling: add documentation URLs

2023-11-15 Thread David Malcolm
On Tue, 2023-11-14 at 00:12 +, Joseph Myers wrote: > On Fri, 10 Nov 2023, David Malcolm wrote: > > > The .opt.urls files it generates become part of the source tree, > > and > > would be regenerated by maintainers whenever new options are added. > > Forgetting to update the files (or not havin

Re: [PATCH 0/3] Option handling: add documentation URLs

2023-11-13 Thread Joseph Myers
On Fri, 10 Nov 2023, David Malcolm wrote: > The .opt.urls files it generates become part of the source tree, and > would be regenerated by maintainers whenever new options are added. > Forgetting to update the files (or not having Python 3 handy) merely > means that URLs might be missing or out of

[PATCH 0/3] Option handling: add documentation URLs

2023-11-10 Thread David Malcolm
In r14-5118-gc5db4d8ba5f3de I added a mechanism to automatically add URLs to quoted strings in diagnostics. This was based on a data table mapping strings to URLs, with placeholder data covering various pragmas and a couple of options. The following patches add automatic URLification in our diagn