DejaGnu manual error

"Peter Welte" <[email protected]>
Newsgroups gmane.comp.sysutils.dejagnu.bugs
Message-ID <[email protected]>
Hello,

 I just noticed that the manual page for "Getting DejaGnu up and running"
incorrectly says to run "apt-get dejagnu" to install on debian, when it
should say "apt-get install dejagnu".

The page I'm refering to is here:
http://www.gnu.org/software/dejagnu/manual/x199.html

thanks,
 -peter

p.s. I'm not on the mailing list so reply to me as well if necessary.

_______________________________________________
Bug-dejagnu mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-dejagnu
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.