diff options
Diffstat (limited to 'gcc/doc/install.texi2html')
| -rwxr-xr-x | gcc/doc/install.texi2html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index 54e27fe..e71ca2c 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 |