diff options
author | Ben Elliston <bje@gnu.org> | 2016-02-14 14:53:59 +1100 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2016-02-14 14:53:59 +1100 |
commit | 9d54ead2689ec19e20530792a0b978894ee26500 (patch) | |
tree | 90553cfae6c76c5fc7fb8741915ff670c3212bd8 /doc/runtest.1 | |
parent | ef5f4a8c80f8d652e5415d0fdb159dcf51af52d3 (diff) | |
download | dejagnu-9d54ead2689ec19e20530792a0b978894ee26500.zip dejagnu-9d54ead2689ec19e20530792a0b978894ee26500.tar.gz dejagnu-9d54ead2689ec19e20530792a0b978894ee26500.tar.bz2 |
* doc/runtest.1: Tweak.
Diffstat (limited to 'doc/runtest.1')
-rw-r--r-- | doc/runtest.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/runtest.1 b/doc/runtest.1 index 7202c62..4ef5297 100644 --- 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 |