On Sep 10 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}.
That should be @uref{prerequisites.html#GNAT-prerequisite,,GNAT prerequisites}.
Andreas.
--
Andreas Schwab, SUSE Labs, sch...@suse.de
GPG Key fingerprint = 0196 BAD8 1CE9 1970 F4BE 1748 E4D4 88E3 0EEA B9D7
"And now for something completely different."
