> That should be @uref{prerequisites.html#GNAT-prerequisite,,GNAT
> prerequisites}.
Thanks. I wouldn't have been able to guess that!
Corresponding patch installed.
2019-11-05 Arnaud Charlet <char...@adacore.com>
* doc/install.texi: Further fix syntax for html generation.
Index: doc/install.texi
===================================================================
--- doc/install.texi (revision 277823)
+++ doc/install.texi (working copy)
@@ -2731,7 +2731,7 @@
@ref{GNAT-prerequisite}.
@end ifnothtml
@ifhtml
-@uref{GNAT-prerequisite}.
+@uref{prerequisites.html#GNAT-prerequisite,,GNAT prerequisites}.
@end ifhtml
@section Building with profile feedback
