On Thu, 14 Dec 2023, David Malcolm wrote:
> diff --git a/gcc/doc/sourcebuild.texi b/gcc/doc/sourcebuild.texi
> index 26a7e9c35070..9a394b3e2c77 100644
> --- a/gcc/doc/sourcebuild.texi
> +++ b/gcc/doc/sourcebuild.texi
> @@ -813,6 +813,10 @@ options supported by this target (@pxref{Run-time
> Target, , Run-time
> Target Specification}). This means both entries in the summary table
> of options and details of the individual options.
> @item
> +An entry in @file{gcc/regenerate-opt-urls.py}'s TARGET_SPECIFIC_PAGES
> +dictionary mapping from target-specific HTML documentation pages
> +to the target specific source directory.
There should probably also be something under Front End to indicate when
anything needs to be done (based on a front end having its own option
index? one with options also present in other manuals?), outside the front
end's own directory, for that front end's option URLs.
> + def add_entry(self, matched_text, url_suffix, language, verbose=False):
> + # TODO: use language
This TODO seems out of date.
> + #print(f'{url_suffix=} {index_text=}')
Various commented-out or "if 0" debugging code like this should probably
be removed (or made into an actual runtime conditional if desired).
--
Joseph S. Myers
jos...@codesourcery.com
