From: Ben Pfaff <blp@gnu.org>
Date: Sat, 20 Feb 2010 20:13:54 +0000 (-0800)
Subject: gui: Suggest viewing the user manual online if starting Yelp fails.
X-Git-Tag: v0.7.5~135
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=35a8ed71164e5f003db8edc261f9e266f90faf0d;p=pspp-builds.git

gui: Suggest viewing the user manual online if starting Yelp fails.

Suggested by Harry Thijssen <pspp@sjpaes.nl>.
---

diff --git a/src/ui/gui/helper.c b/src/ui/gui/helper.c
index 44396663..a0d753b5 100644
--- a/src/ui/gui/helper.c
+++ b/src/ui/gui/helper.c
@@ -237,7 +237,10 @@ reference_manual (GtkMenuItem *menu, gpointer data)
 
   if ( ! g_spawn_command_line_async (cmd, &err) )
     {
-      msg (ME, _("Cannot open reference manual: %s"), err->message);
+      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);
     }
 
   g_free (cmd);