diff options
author | Ben Elliston <bje@gnu.org> | 2007-05-17 04:41:02 +0000 |
---|---|---|
committer | Ben Elliston <bje@gnu.org> | 2007-05-17 04:41:02 +0000 |
commit | 711cfd6af52de1b17b4954194622edab34b70364 (patch) | |
tree | b0da12a8d9a2680a73de7aa1a7783920f345e240 /doc | |
parent | f38488cf84af5e45aa517358671ef5072ba8470e (diff) | |
download | dejagnu-711cfd6af52de1b17b4954194622edab34b70364.zip dejagnu-711cfd6af52de1b17b4954194622edab34b70364.tar.gz dejagnu-711cfd6af52de1b17b4954194622edab34b70364.tar.bz2 |
* doc/user.xml: Correct the syntax for running apt-get on a Debian
GNU/Linux system. From Peter Welte <weltepe@gmail.com>.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/user.xml | 2 |
1 files changed, 1 insertions, 1 deletions
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> |