From 4e404d84294f27c3de7cffb06869afa64409f286 Mon Sep 17 00:00:00 2001 From: Jacob Bachmeyer Date: Tue, 17 Nov 2020 21:16:20 -0600 Subject: [PATCH] Mention GNU Automake manual for more information --- ChangeLog | 7 +++++++ doc/dejagnu.texi | 3 ++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 53d5015..159a204 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2020-11-17 Jacob Bachmeyer + + PR44693 + + * doc/dejagnu.texi (Make Check): Add cross-reference to the GNU + Automake manual for more details. + 2020-11-10 Jacob Bachmeyer PR44545 diff --git a/doc/dejagnu.texi b/doc/dejagnu.texi index e265371..271ac31 100644 --- a/doc/dejagnu.texi +++ b/doc/dejagnu.texi @@ -474,7 +474,8 @@ GNU Automake has built-in support for DejaGnu. To add DejaGnu support to your generated @file{Makefile.in}, just add the keyword @code{dejagnu} to the AUTOMAKE_OPTIONS variable in @file{Makefile.am}. This will ensure that the generated @file{Makefile.in} has a -@code{check} target that invokes DejaGnu correctly. +@code{check} target that invokes DejaGnu correctly. @xref{Tests,, +DejaGnu Tests, automake, The GNU Automake Manual}. @node Runtest, Output Files, Make Check, Running tests @section Running runtest