On Tue, 10 Sep 2019, Arnaud Charlet wrote:
> Allright, there are already similar kludges elsewhere, so I've applied the
> following patch which fixes it:
>
> 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?
Thanks,
Gerald
