diff options
Diffstat (limited to 'doc/user.xml')
-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> |