* [PATCH] Re: Broken links in INSTALL/specific.html (PR web/85578)
[not found] <20180501072701.GJ8577@tucnak>
@ 2018-05-01 7:52 ` Jakub Jelinek
2018-05-01 15:17 ` Joseph Myers
2018-05-02 1:21 ` Gerald Pfeifer
0 siblings, 2 replies; 3+ messages in thread
From: Jakub Jelinek @ 2018-05-01 7:52 UTC (permalink / raw)
To: Gerald Pfeifer, Richard Biener, Joseph S. Myers; +Cc: gcc-patches
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?
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.
--- 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
Jakub
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Re: Broken links in INSTALL/specific.html (PR web/85578)
2018-05-01 7:52 ` [PATCH] Re: Broken links in INSTALL/specific.html (PR web/85578) Jakub Jelinek
@ 2018-05-01 15:17 ` Joseph Myers
2018-05-02 1:21 ` Gerald Pfeifer
1 sibling, 0 replies; 3+ messages in thread
From: Joseph Myers @ 2018-05-01 15:17 UTC (permalink / raw)
To: Jakub Jelinek; +Cc: Gerald Pfeifer, Richard Biener, gcc-patches
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.
--
Joseph S. Myers
joseph@codesourcery.com
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: [PATCH] Re: Broken links in INSTALL/specific.html (PR web/85578)
2018-05-01 7:52 ` [PATCH] Re: Broken links in INSTALL/specific.html (PR web/85578) Jakub Jelinek
2018-05-01 15:17 ` Joseph Myers
@ 2018-05-02 1:21 ` Gerald Pfeifer
1 sibling, 0 replies; 3+ messages in thread
From: Gerald Pfeifer @ 2018-05-02 1:21 UTC (permalink / raw)
To: Jakub Jelinek; +Cc: Richard Biener, Joseph S. Myers, gcc-patches
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
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2018-05-02 1:21 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <20180501072701.GJ8577@tucnak>
2018-05-01 7:52 ` [PATCH] Re: Broken links in INSTALL/specific.html (PR web/85578) Jakub Jelinek
2018-05-01 15:17 ` Joseph Myers
2018-05-02 1:21 ` Gerald Pfeifer
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).