[gnome-commander] noop: 'Contents -> 'Documentation'

[Uwe Scholz <uwescholz src gnome org>]

commit 3f15b284a4ab5e300b1b5c1d55848310fc6cd17d
Author: Uwe Scholz <uwescholz src gnome org>
Date:   Thu Jan 16 10:02:52 2014 +0100

    noop: 'Contents -> 'Documentation'

 src/gnome-cmd-main-menu.cc |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/gnome-cmd-main-menu.cc b/src/gnome-cmd-main-menu.cc
index 1891ea0..6880c16 100644
--- a/src/gnome-cmd-main-menu.cc
+++ b/src/gnome-cmd-main-menu.cc
@@ -773,7 +773,7 @@ static void init (GnomeCmdMainMenu *main_menu)
     MenuData help_menu_uiinfo[] =
     {
         {
-            MENU_TYPE_ITEM, _("_Contents"), "F1", NULL,
+            MENU_TYPE_ITEM, _("_Documentation"), "F1", NULL,
             (gpointer) help_help, NULL,
             GNOME_APP_PIXMAP_STOCK, GTK_STOCK_HELP,
             NULL