Fixed menu entry for the user docs

diff --git a/src/ui-commands.c b/src/ui-commands.c
index 2fb397ddb257a2862b50bf1c6dacb34607565f0c..86ac0757daee4ff3b90bfe5f827aec643b2b9f47 100644 (file)
--- a/src/ui-commands.c
+++ b/src/ui-commands.c
@@ -1102,7 +1102,7 @@ gl_ui_cmd_help_contents (GtkAction *action,
         g_return_if_fail (window && GL_IS_WINDOW(window));
 
         gtk_show_uri (gtk_widget_get_screen (GTK_WIDGET (window)),
-                      "ghelp:glabels-3.0",
+                      "help:glabels-3.0",
                       gtk_get_current_event_time(),
                       &error);