bug-dejagnu
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Bug-dejagnu] DejaGnu manual error

From: Peter Welte
Subject: [Bug-dejagnu] DejaGnu manual error
Date: Thu, 26 Apr 2007 01:25:27 -0000
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.
reply via email to
[Prev in Thread] Current Thread [Next in Thread]