Mention GNU Automake manual for more information

6 years ago · 4e404d8429
2 changed files with 9 additions and 1 deletions
--- a/7
+++ b/7
@ -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
--- 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