Install Disobedience manual and make Disobedience use it in preference

[disorder] / disobedience / menu.c

diff --git a/disobedience/menu.c b/disobedience/menu.c
index 35667457272c4b2733545ec7052b84522794afa5..0433f9c35b1e80ba7c9f6f94e4cc789715530a98 100644 (file)
--- a/disobedience/menu.c
+++ b/disobedience/menu.c
@@ -364,7 +364,7 @@ GtkWidget *menubar(GtkWidget *w) {
       0                                 /* extra_data */
     },
     {
-      (char *)"/Help/Manual page",      /* path */
+      (char *)"/Help/Manual",           /* path */
       0,                                /* accelerator */
       manual_popup,                     /* callback */
       0,                                /* callback_action */