diff options
author | Arnaud Charlet <charlet@adacore.com> | 2019-09-10 10:17:14 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2019-09-10 12:17:14 +0200 |
commit | 903a9d25e9a7d86ff9d258afc203cd83a893a8bf (patch) | |
tree | e33e15def173fa535e4bce3c4aa2cd4bdec6573b /gcc/doc/install.texi | |
parent | 28f0075742ed5864991a1b0fef2ad6fae15c5e3b (diff) |
* doc/install.texi: Fix syntax for html generation.
From-SVN: r275589
Diffstat (limited to 'gcc/doc/install.texi')
-rw-r--r-- | gcc/doc/install.texi | 7 |
1 files changed, 6 insertions, 1 deletions
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 |