--- a/src/help.cc	Tue May 14 03:21:01 1996 +0000
+++ b/src/help.cc	Tue May 14 03:35:29 1996 +0000
@@ -59,6 +59,10 @@
 #include "utils.h"
 #include "variables.h"
 
+// If TRUE, don't print additional help message in help and usage
+// functions.
+static bool Vsuppress_verbose_help_message;
+
 static help_list operators[] =
 {
   { "!",
@@ -320,7 +324,7 @@
 additional_help_message (ostream& os)
 {
 #ifdef USE_GNU_INFO
-  if (! user_pref.suppress_verbose_help_message)
+  if (! Vsuppress_verbose_help_message)
     os << VERBOSE_HELP_MESSAGE;
 #endif
 }
@@ -893,6 +897,25 @@
   return retval;
 }
 
+static int
+suppress_verbose_help_message (void)
+{
+  Vsuppress_verbose_help_message
+    = check_preference ("suppress_verbose_help_message");
+
+  return 0;
+}
+
+void
+symbols_of_help (void)
+{
+#ifdef USE_GNU_INFO
+  DEFVAR (suppress_verbose_help_message, 0.0, 0, suppress_verbose_help_message,
+    "suppress printing of message pointing to additional help in the\n\
+help and usage functions");
+#endif
+}
+
 /*
 ;;; Local Variables: ***
 ;;; mode: C++ ***