[gnome-user-docs] g-h: Replace <cmnd> with <cmd>

[Shaun McCance <shaunm src gnome org>]

commit 1082452975819e03aa86fbb8442050d373d0c79f
Author: Shaun McCance <shaunm gnome org>
Date:   Sat Mar 26 13:41:53 2011 -0400

    g-h: Replace <cmnd> with <cmd>

 gnome-help/C/sound-crackle.page       |    2 +-
 gnome-help/C/sound-nosound.page       |    4 ++--
 gnome-help/C/user-changepassword.page |    2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/gnome-help/C/sound-crackle.page b/gnome-help/C/sound-crackle.page
index 299434e..ecdef59 100644
--- a/gnome-help/C/sound-crackle.page
+++ b/gnome-help/C/sound-crackle.page
@@ -34,7 +34,7 @@
  <item>
   <p>Check if the sound drivers aren't very good.</p>
   <p>Some sound cards don't work very well on Linux because they don't have very good drivers. This problem is more difficult to identify - try searching for the make and model of your sound card on the internet, plus the search term "Linux", to see if other people are having the same problem.</p>
-  <p>You can use the <cmnd>lspci</cmnd> command to <link xref="">get more information about your sound card</link>.</p>
+  <p>You can use the <cmd>lspci</cmd> command to <link xref="">get more information about your sound card</link>.</p>
  </item>
 </list>
 
diff --git a/gnome-help/C/sound-nosound.page b/gnome-help/C/sound-nosound.page
index 70695db..e2937ad 100644
--- a/gnome-help/C/sound-nosound.page
+++ b/gnome-help/C/sound-nosound.page
@@ -66,7 +66,7 @@
    <p>Go to the <gui>Activities</gui> overview and open a Terminal.</p>
   </item>
   <item>
-   <p>Type <cmnd>aplay -l</cmnd> and press <key>Enter</key>.</p>
+   <p>Type <cmd>aplay -l</cmd> and press <key>Enter</key>.</p>
   </item>
   <item>
    <p>A list of devices will be shown. If there are no <gui>playback hardware devices</gui>, your sound card has not been detected.</p>
@@ -75,7 +75,7 @@
  
  <p>If your sound card is not detected, you may need to manually install the drivers for it. How you do this will depend on the card you have.</p>
  
- <p>You can see what sound card you have by using the <cmnd>lspci</cmnd> command in the Terminal. You may have to run <cmnd>lspci</cmnd> as <link xref="user-admin-explain">superuser</link>; either type <cmnd>sudo lspci</cmnd> and type your password, or type <cmnd>su</cmnd>, enter the <em>root</em> (administrative) password, then type <cmnd>lspci</cmnd>. See if an <em>audio controller</em> or <em>audio device</em> is listed - it should have the sound card's make and model number. <cmnd>lspci -v</cmnd> will show a list with more detailed information.</p>
+ <p>You can see what sound card you have by using the <cmd>lspci</cmd> command in the Terminal. You may have to run <cmd>lspci</cmd> as <link xref="user-admin-explain">superuser</link>; either type <cmd>sudo lspci</cmd> and type your password, or type <cmd>su</cmd>, enter the <em>root</em> (administrative) password, then type <cmd>lspci</cmd>. See if an <em>audio controller</em> or <em>audio device</em> is listed - it should have the sound card's make and model number. <cmd>lspci -v</cmd> will show a list with more detailed information.</p>
   
  <p>You may be able to find and install drivers for your card. It's best to ask on support forums (or otherwise) for your Linux distribution for instructions.</p>
  
diff --git a/gnome-help/C/user-changepassword.page b/gnome-help/C/user-changepassword.page
index b8a95a1..c4e2d5a 100644
--- a/gnome-help/C/user-changepassword.page
+++ b/gnome-help/C/user-changepassword.page
@@ -43,7 +43,7 @@
      <p>You can change your password using the command line instead.</p>
      <steps>
      <item><p>
-       At the Terminal prompt, run the <cmnd>passwd</cmnd> command.
+       At the Terminal prompt, run the <cmd>passwd</cmd> command.
      </p></item>
 
         <item><p>