X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fhelp-menu.c;h=aaadefc2b36b0c60c21545ed88565f962b69adea;hb=1b3322acf30d531cefe3cdbf7287ec8cde601bcd;hp=c24125d78aa1f995393de8b955720012b93dd4a8;hpb=f550aee00a62fe1d8baf62d83cd7efef6cc2ee92;p=pspp-builds.git

diff --git a/src/ui/gui/help-menu.c b/src/ui/gui/help-menu.c
index c24125d7..aaadefc2 100644
--- a/src/ui/gui/help-menu.c
+++ b/src/ui/gui/help-menu.c
@@ -96,9 +96,9 @@ reference_manual (GtkMenuItem *menu, gpointer data)
   if ( ! g_spawn_command_line_async (cmd, &err) )
     {
       msg (ME, _("Cannot open reference manual: %s.  The PSPP user manual is "
-                 "also available at "
-                 "http://www.gnu.org/software/pspp/documentation.html"),
-           err->message);
+                 "also available at %s"),
+                  err->message,
+                  "http://www.gnu.org/software/pspp/documentation.html");
     }
 
   g_free (cmd);