changeset 1115:ce9b0bb7916d

[project @ 1995-02-15 21:13:20 by jwe]
author jwe
date Wed, 15 Feb 1995 21:13:20 +0000
parents 971f2289d6de
children 0e2974c1cc37
files src/help.cc
diffstat 1 files changed, 12 insertions(+), 10 deletions(-) [+]
line wrap: on
line diff
--- a/src/help.cc	Wed Feb 15 04:58:06 1995 +0000
+++ b/src/help.cc	Wed Feb 15 21:13:20 1995 +0000
@@ -309,15 +309,18 @@
   return keywords;
 }
 
-void
-additional_help_message (ostrstream& output_buf)
+#define VERBOSE_HELP_MESSAGE \
+  "\n\
+Additional help for builtin functions, operators, and variables\n\
+is available in the on-line version of the manual.\n\
+\n\
+Use the command `help -i <topic>' to search the manual index.\n"
+
+static void
+additional_help_message (ostrstream& output_buf, int force = 0)
 {
-  output_buf
-    << "\n"
-    << "Additional help for builtin functions, operators, and variables\n"
-    << "is available in the on-line version of the manual.\n"
-    << "\n"
-    << "Use the command `help -i <topic>' to search the manual index.\n";
+  if (! (user_pref.suppress_verbose_help_message || force))
+    output_buf << VERBOSE_HELP_MESSAGE;
 }
 
 void
@@ -334,8 +337,7 @@
 	  output_buf << "\n*** " << string << ":\n\n"
 	    << h << "\n";
 
-	  if (! just_usage)
-	    additional_help_message (output_buf);
+	  additional_help_message (output_buf, !just_usage);
 	  output_buf << ends;
 	  maybe_page_output (output_buf);
 	}