diff options
author | Jakub Jelinek <jakub@redhat.com> | 2018-05-01 17:26:36 +0200 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-05-01 17:26:36 +0200 |
commit | 00ef0d038de4a016626a77704a539e021c2837da (patch) | |
tree | 01a252b2d5bd07c641782647ec8f636c4a175b65 | |
parent | 8c2e1d6ca5497c08ec72abe9da93e4a7869e0f0e (diff) | |
download | gcc-00ef0d038de4a016626a77704a539e021c2837da.zip gcc-00ef0d038de4a016626a77704a539e021c2837da.tar.gz gcc-00ef0d038de4a016626a77704a539e021c2837da.tar.bz2 |
re PR web/85578 (broken links in gcc-8.0.1-RC-20180427/INSTALL/specific.html, and out of date prerequisites.html)
PR web/85578
* doc/install.texi2html: Replace _002d with - and _002a with * in
generated html files using sed.
From-SVN: r259799
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rwxr-xr-x | gcc/doc/install.texi2html | 5 |
2 files changed, 10 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 60ca47c..91f5f10 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +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-30 David Malcolm <dmalcolm@redhat.com> PR c++/85523 diff --git a/gcc/doc/install.texi2html b/gcc/doc/install.texi2html index b31713d..85adfb9 100755 --- 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 |