backport: re PR web/85578 (broken links in gcc-8.0.1-RC-20180427/INSTALL/specific...

	Backported from mainline
	2018-05-01  Jakub Jelinek  <jakub@redhat.com>

	PR web/85578
	* doc/install.texi2html: Replace _002d with - and _002a with * in
	generated html files using sed.

From-SVN: r261960

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1b8d9633c35934a033aa89bd356d4a55f7db805f..bdfc1682a33259cdd865670c9e8d0d6d07c42598 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,6 +1,12 @@
 2018-06-22  Jakub Jelinek  <jakub@redhat.com>
 
        Backported from mainline
+       2018-05-01  Jakub Jelinek  <jakub@redhat.com>
+
+       PR web/85578
+       * doc/install.texi2html: Replace _002d with - and _002a with * in
+       generated html files using sed.
+
        2018-04-27  Jakub Jelinek  <jakub@redhat.com>
 
        PR tree-optimization/85529

diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html
index 8a7781ef7cd10749f96ce9de070cacbe8e971778..44e6f0f8a69c911d7ff6adde16ad1d87848aca30 100755 (executable)
--- a/gcc/doc/install.texi2html
+++ b/gcc/doc/install.texi2html
@@ -52,7 +52,10 @@ for x in index.html specific.html prerequisites.html download.html configure.htm
 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