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

[Sandra Loosemore]

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.

-Sandracommit 8536c09108f429d8ab6ca850f3835668cc1c8929
Author: Sandra Loosemore <san...@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