[gnote] Fix mistakes in export to HTML manual page

[Aurimas Äernius <aurimasc src gnome org>]

commit a843a492151ede0206419439ca75d8b591b5c728
Author: Aurimas Äernius <aurisc4 gmail com>
Date:   Sun Oct 30 16:40:34 2011 +0200

    Fix mistakes in export to HTML manual page
    
    Replace "OK" with "Save".
    Replace "button" with "check box" where appropriate.

 help/C/gnote-addin-html.page |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/help/C/gnote-addin-html.page b/help/C/gnote-addin-html.page
index 7cf764f..ff71888 100755
--- a/help/C/gnote-addin-html.page
+++ b/help/C/gnote-addin-html.page
@@ -20,7 +20,7 @@
   <title>Export to HTML</title>
     <p>The Tools button is represented by the <media type="image" src="figures/gnote-tools.png" mime="image/png" style="right"></media>  icon. When this add-in is installed, the option <gui>Export to HTML</gui> is present in <gui>Tools</gui> menu.</p>
     <p>You can create an HTML (Hypertext Markup Language) document from one or more notes by selecting this option.</p>
-    <p>After selecting this option, you will be presented with a dialog that allows you to choose where to save theÂHTMLÂfile. Enter the destination filename and clickÂ<gui>OK</gui>Âto save the file, orÂ<gui>Cancel</gui>Âto abort the operation.</p>
-    <p>To export any notes for which a link exists in the current note, select theÂ<gui>Export Linked Notes</gui>Âbutton.</p>
+    <p>After selecting this option, you will be presented with a dialog that allows you to choose where to save theÂHTMLÂfile. Enter the destination filename and clickÂ<gui>Save</gui>Âto save the file, orÂ<gui>Cancel</gui>Âto abort the operation.</p>
+    <p>To export any notes for which a link exists in the current note, select theÂ<gui>Export Linked Notes</gui>Âcheck box.</p>
 
 </page>