diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6139e3cbd489..1c373c7fe650 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2019-09-10  Arnaud Charlet  <charlet@adacore.com>
+
+	* doc/install.texi: Fix syntax for html generation.
+
 2019-09-10  Jakub Jelinek  <jakub@redhat.com>
 
 	PR middle-end/91680
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 6f4dd7b98556..dd36a1efc5f5 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -2727,7 +2727,12 @@ and network filesystems.
 
 @section Building the Ada compiler
 
-See @ref{GNAT-prerequisite}.
+@ifnothtml
+@ref{GNAT-prerequisite}.
+@end ifnothtml
+@ifhtml
+@uref{GNAT-prerequisite}.
+@end ifhtml
 
 @section Building with profile feedback