Re: [Committed] Docs: Update documentation of Texinfo versions for building manuals.

[Sandra Loosemore <sandra@codesourcery.com>]

[-- Attachment #1: Type: text/plain, Size: 494 bytes --]

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

[-- Attachment #2: typo.patch --]
[-- Type: text/x-patch, Size: 887 bytes --]

commit 8536c09108f429d8ab6ca850f3835668cc1c8929
Author: Sandra Loosemore <sandra@codesourcery.com>
Date:   Sun Mar 12 17:56:46 2023 +0000

    Docs: Fix typo in previous commit
    
    gcc/ChangeLog:
            * doc/install.texi2html: Fix issue number typo in comment.

diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html
index 54e27fedde3..e71ca2c64ba 100755
--- a/gcc/doc/install.texi2html
+++ b/gcc/doc/install.texi2html
@@ -53,7 +53,7 @@ do
     define=`echo $x | sed -e 's/\.//g'`
     echo "define = $define"
     $MAKEINFO --no-number-sections -I $SOURCEDIR -I $SOURCEDIR/include -I $DESTDIR $SOURCEDIR/install.texi --html --no-split -D$define -o$DESTDIR/temp.html
-    # Use sed to work around PR web/88578.
+    # Use sed to work around PR web/85578.
     sed -e 's/_002d/-/g' -e 's/_002a/*/g' $DESTDIR/temp.html > $DESTDIR/$x
     rm $DESTDIR/temp.html
 done