> > 2019-09-10 Arnaud Charlet <char...@adacore.com>
> >
> > * doc/install.texi: Fix syntax for html generation.
> >
> > Index: doc/install.texi
> > ===================================================================
> > --- doc/install.texi (revision 275400)
> > +++ doc/install.texi (working copy)
> > @@ -2727,7 +2727,12 @@
> >
> > @section Building the Ada compiler
> >
> > -See @ref{GNAT-prerequisite}.
> > +@ifnothtml
> > +@ref{GNAT-prerequisite}.
> > +@end ifnothtml
> > +@ifhtml
> > +@uref{GNAT-prerequisite}.
> > +@end ifhtml
>
> Hmm, I'm afraid this does not work as intended.
>
> https://gcc.gnu.org/install/build.html now links to
> https://gcc.gnu.org/install/GNAT-prerequisite which simply does not
> exit.
>
> Mind looking into this?
OK. Would be good to switch to another doc generation tool one of these
days, these things are not fun to deal with.
(I'm on vacation this week, so will take a look next week).
Arno
