* doc/user.xml: Correct the syntax for running apt-get on a Debian

GNU/Linux system. From Peter Welte <weltepe@gmail.com>.

ChangeLog

@@ -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

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>