diff options
-rw-r--r-- | ChangeLog | 5 | ||||
-rw-r--r-- | doc/user.xml | 2 |
2 files changed, 6 insertions, 1 deletions
@@ -1,3 +1,8 @@ +2007-05-17 Ben Elliston <bje@gnu.org> + + * doc/user.xml: Correct the syntax for running apt-get on a Debian + GNU/Linux system. From Peter Welte <weltepe@gmail.com>. + 2007-04-30 Bob Wilson <bob.wilson@acm.org> * baseboards/xtensa-sim.exp: Set target_install. Stop using diff --git a/doc/user.xml b/doc/user.xml index d0f0838..fd3f85d 100644 --- a/doc/user.xml +++ b/doc/user.xml @@ -13,7 +13,7 @@ subtle problems. You have been warned.</para> <para>It should be no big problems installing &dj; using your package manager or from the source code. Under a Debian/GNU/Linux -systems just type (as root) <programlisting>apt-get +systems just type (as root) <programlisting>apt-get install dejagnu</programlisting>. These examples were run on a primary machine with a AMD K6 and a Mac Powerbook G3 serving as a remote target.</para> |