[gedit/help-pages] Docs: Fix indentation and add license.

[Sindhu S <sindhus src gnome org>]

commit e86ec8ee0d70b1c6cd8f05ffe90c5c2c46bf1214
Author: Sindhu S <sindhus live in>
Date:   Fri Mar 22 03:35:07 2013 -0400

    Docs: Fix indentation and add license.
    
    Add Sindhu S as page editor.

 help/C/gedit-save-file.page |   19 +++++++++++++------
 1 files changed, 13 insertions(+), 6 deletions(-)
---
diff --git a/help/C/gedit-save-file.page b/help/C/gedit-save-file.page
index 960f7c3..e7568a4 100644
--- a/help/C/gedit-save-file.page
+++ b/help/C/gedit-save-file.page
@@ -9,16 +9,23 @@
       <name>Jim Campbell</name>
       <email>jwcampbell gmail com</email>
     </credit>
+    <credit type="editor">
+      <name>Sindhu S</name>
+      <email>sindhus live in</email>
+    </credit>
+    <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
+
   </info>
 
   <title>Save a file</title>
 
   <p>To save a file in <app>gedit</app>, click on the disk-drive icon with the
-  word <gui>Save</gui> next to it.  You may also select <guiseq><gui>File</gui>
-  <gui>Save</gui></guiseq>, or just press <keyseq><key>Ctrl</key>
-  <key>S</key></keyseq>.</p>
-  <p>If you are saving a new file, the <gui>Save File</gui> dialog will appear,
-  and you can select a name for the file, as well as the directory where you
-  would like the file to be saved.</p>
+  word <gui style="button">Save</gui> next to it.  You may also select
+  <guiseq><gui style="menu">File</gui>
+  <gui style="menuitem">Save</gui></guiseq>, or just press
+  <keyseq><key>Ctrl</key><key>S</key></keyseq>.</p> <p>If you are saving a
+  new file, the <gui>Save File</gui> dialog will appear, and you can select a
+  name for the file, as well as the directory where you would like the file
+  to be saved.</p>
 
 </page>