diff options
-rw-r--r-- | ChangeLog | 7 | ||||
-rw-r--r-- | doc/dejagnu.texi | 3 |
2 files changed, 9 insertions, 1 deletions
@@ -1,3 +1,10 @@ +2020-11-17 Jacob Bachmeyer <jcb@gnu.org> + + PR44693 + + * doc/dejagnu.texi (Make Check): Add cross-reference to the GNU + Automake manual for more details. + 2020-11-10 Jacob Bachmeyer <jcb@gnu.org> 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 |