Update copyright years.

[thirdparty/gcc.git] / gcc / doc / install.texi2html

diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html
index 87ee6b718810fa796d80f3188d1cac57ac5d6a30..f3878aa3bb484d6b939b6207efb0719e2993d0e5 100755 (executable)
--- a/gcc/doc/install.texi2html
+++ b/gcc/doc/install.texi2html
@@ -5,7 +5,7 @@
 # $SOURCEDIR and $DESTDIR, resp., refer to the directory containing
 # the texinfo source and the directory to put the HTML version in.
 #
-# Copyright (C) 2001-2014 Free Software Foundation, Inc.
+# Copyright (C) 2001-2023 Free Software Foundation, Inc.
 # Originally by Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at>, June 2001.
 #
 # This file is part of GCC.
@@ -46,13 +46,16 @@ fi
    echo "@set srcdir $SOURCEDIR/.."
 ) > $DESTDIR/gcc-vers.texi
 
-for x in index.html specific.html prerequisites.html download.html configure.html \
-         build.html test.html finalinstall.html binaries.html old.html \
-         gfdl.html
+for x in index.html specific.html prerequisites.html download.html \
+         configure.html build.html test.html finalinstall.html \
+         binaries.html gfdl.html
 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/$x
+    $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 makeinfo 4.7 brokenness.
+    sed -e 's/_002d/-/g' -e 's/_002a/*/g' $DESTDIR/temp.html > $DESTDIR/$x
+    rm $DESTDIR/temp.html
 done
 
 rm $DESTDIR/gcc-vers.texi