# HG changeset patch
# User jwe
# Date 792885092 0
# Node ID c35ab9f94604d70ae2b10df93e51f9aeea5e1da5
# Parent  0e2974c1cc3759aa2e20e744951be60fe8b04772
[project @ 1995-02-15 21:51:32 by jwe]

diff -r 0e2974c1cc37 -r c35ab9f94604 src/help.cc
--- a/src/help.cc	Wed Feb 15 21:19:47 1995 +0000
+++ b/src/help.cc	Wed Feb 15 21:51:32 1995 +0000
@@ -317,9 +317,9 @@
 Use the command `help -i <topic>' to search the manual index.\n"
 
 static void
-additional_help_message (ostrstream& output_buf, int force = 0)
+additional_help_message (ostrstream& output_buf)
 {
-  if (! (user_pref.suppress_verbose_help_message || force))
+  if (! user_pref.suppress_verbose_help_message)
     output_buf << VERBOSE_HELP_MESSAGE;
 }
 
@@ -337,7 +337,8 @@
 	  output_buf << "\n*** " << string << ":\n\n"
 	    << h << "\n";
 
-	  additional_help_message (output_buf, !just_usage);
+	  if (! just_usage)
+	    additional_help_message (output_buf)
 	  output_buf << ends;
 	  maybe_page_output (output_buf);
 	}