changeset 1117:c35ab9f94604

[project @ 1995-02-15 21:51:32 by jwe]
author jwe
date Wed, 15 Feb 1995 21:51:32 +0000
parents 0e2974c1cc37
children 4d364429af83
files src/help.cc
diffstat 1 files changed, 4 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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);
 	}