From: Arnaud Charlet <charlet@adacore.com>
Date: Tue, 10 Sep 2019 10:17:14 +0000 (+0000)
Subject: * doc/install.texi: Fix syntax for html generation.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=903a9d25e9a7d86ff9d258afc203cd83a893a8bf;p=gcc.git

* doc/install.texi: Fix syntax for html generation.

From-SVN: r275589
---

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