PR web/85578
* doc/install.texi2html: Replace _002d with - and _002a with * in
generated html files using sed.
From-SVN: r259799
+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
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