* doc/runtest.1: Tweak.

diff --git a/ChangeLog b/ChangeLog
index 735e165..c5e3e3e 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2016-02-14  Ben Elliston  <bje@gnu.org>
+
+       * doc/runtest.1: Tweak.
+
 2016-02-14  Steve Ellcey  <sellcey@mips.com>
 
        * baseboards/multi-sim.exp (dynamic_linker_flag): Check

diff --git a/doc/runtest.1 b/doc/runtest.1
index 7202c62..4ef5297 100644 (file)
--- a/doc/runtest.1
+++ b/doc/runtest.1
@@ -130,7 +130,7 @@ There is NO WARRANTY, to the extent permitted by law.
 .SH "SEE ALSO"
 The full documentation for
 .B DejaGnu
-is maintained as a Docbook manual.  If the
+is maintained as a Texinfo manual.  If the
 .B info
 program is properly installed at your site, the command
 .IP