From 903a9d25e9a7d86ff9d258afc203cd83a893a8bf Mon Sep 17 00:00:00 2001
From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 10 Sep 2019 10:17:14 +0000
Subject: [PATCH] * doc/install.texi: Fix syntax for html generation.

From-SVN: r275589
---
 gcc/ChangeLog        | 4 ++++
 gcc/doc/install.texi | 7 ++++++-
 2 files changed, 10 insertions(+), 1 deletion(-)

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6139e3cbd48..1c373c7fe65 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 6f4dd7b9855..dd36a1efc5f 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
 
-- 
2.30.2