diff options
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/doc/install.texi | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4ee9ec6..1b80d2c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2019-11-05 Arnaud Charlet <charlet@adacore.com> + + * doc/install.texi: Further fix syntax for html generation. + 2019-11-05 Martin Liska <mliska@suse.cz> * symbol-summary.h: Rename allocator to m_allocator and diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 563de70..55ef4ca 100644 --- a/gcc/doc/install.texi +++ b/gcc/doc/install.texi @@ -2731,7 +2731,7 @@ and network filesystems. @ref{GNAT-prerequisite}. @end ifnothtml @ifhtml -@uref{GNAT-prerequisite}. +@uref{prerequisites.html#GNAT-prerequisite,,GNAT prerequisites}. @end ifhtml @section Building with profile feedback |