diff options
author | Jacob Bachmeyer <jcb@gnu.org> | 2020-11-17 21:16:20 -0600 |
---|---|---|
committer | Jacob Bachmeyer <jcb@gnu.org> | 2020-11-17 21:16:20 -0600 |
commit | 4e404d84294f27c3de7cffb06869afa64409f286 (patch) | |
tree | ef83af04af8110cfaaa4f18e1308c1b25e6e7ea7 /doc | |
parent | 18c77e3e0433365f15a248a78d9bb53c34d70274 (diff) | |
download | dejagnu-4e404d84294f27c3de7cffb06869afa64409f286.zip dejagnu-4e404d84294f27c3de7cffb06869afa64409f286.tar.gz dejagnu-4e404d84294f27c3de7cffb06869afa64409f286.tar.bz2 |
Mention GNU Automake manual for more information
Diffstat (limited to 'doc')
-rw-r--r-- | doc/dejagnu.texi | 3 |
1 files changed, 2 insertions, 1 deletions
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 |