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 | |
| parent | 18c77e3e0433365f15a248a78d9bb53c34d70274 (diff) | |
| download | dejagnu-4e404d84294f27c3de7cffb06869afa64409f286.zip dejagnu-4e404d84294f27c3de7cffb06869afa64409f286.tar.gz dejagnu-4e404d84294f27c3de7cffb06869afa64409f286.tar.bz2 | |
Mention GNU Automake manual for more information
| -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 |