[Top][All Lists]

[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


 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


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]