| Message ID | 20180501075152.GK8577@tucnak |
|---|---|
| State | New |
| Headers | show |
| Series | Re: Broken links in INSTALL/specific.html (PR web/85578) | expand |
On Tue, 1 May 2018, Jakub Jelinek wrote: > On Tue, May 01, 2018 at 09:27:01AM +0200, Jakub Jelinek wrote: > > PR web/85578 complains about broken links in INSTALL/specific.html inside of > > the rc tarballs, I've looked at past releases and at least the releases I've > > checked (4.7.0, 6.1, 7.1, 7.3, 8.1rc2) all have the broken links, > > e.g. > > <a href="#aarch64-x-x">aarch64*-*-*</a> > > and > > <a name="aarch64_002dx_002dx"></a><a name="aarch64_002a_002d_002a_002d_002a"></a> > > <h3 class="heading">aarch64*-*-*</h3> > > Looking at online docs, they are ok. > > Now in patch form, briefly tested with a hacked gcc_release script (so that > it works even with uncommitted install.texi2html). Ok for trunk/8.1? OK.
On Tue, 1 May 2018, Jakub Jelinek wrote: > Now in patch form, briefly tested with a hacked gcc_release script (so that > it works even with uncommitted install.texi2html). Ok for trunk/8.1? > > 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. Looks great, thank you, Jakub! Gerald
--- gcc/doc/install.texi2html (revision 259728) +++ gcc/doc/install.texi2html (working copy) @@ -52,7 +52,10 @@ for x in index.html specific.html prereq 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