From dd2f3208c17a65184e4f4271e41fce7c7cddebc5 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Tue, 5 Nov 2019 11:46:29 +0000 Subject: [PATCH] * doc/install.texi: Further fix syntax for html generation From-SVN: r277824 --- gcc/ChangeLog | 4 ++++ gcc/doc/install.texi | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4ee9ec680ab..1b80d2ca604 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2019-11-05 Arnaud Charlet + + * doc/install.texi: Further fix syntax for html generation. + 2019-11-05 Martin Liska * symbol-summary.h: Rename allocator to m_allocator and diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi index 563de705881..55ef4ca7f24 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 -- 2.30.2