On 3/12/23 11:40, Tobias Burnus wrote:
> Hi Sandra,
> 
> can you check the PR number? The following looks wrong: 
> https://gcc.gnu.org/PR88578>> 
> On 11.03.23 02:33, Sandra Loosemore wrote:
>> --- a/gcc/doc/install.texi2html
>> +++ b/gcc/doc/install.texi2html
> ...
>> -    # Use sed to work around makeinfo 4.7 brokenness.
>> +    # Use sed to work around PR web/88578.
> Tobias

You have better eyes than me!  Yes, that is a typo.  :-(  I've checked 
in this patch to fix it.

-Sandra