# HG changeset patch
# User jwe
# Date 787510006 0
# Node ID 34c1b152d6a324d32fd4fc54b98937cfbfeed263
# Parent  2015030c06213a234e5e2be3fd24cc22d0e4ded6
[project @ 1994-12-15 16:46:46 by jwe]

diff -r 2015030c0621 -r 34c1b152d6a3 src/help.cc
--- a/src/help.cc	Thu Dec 15 07:44:14 1994 +0000
+++ b/src/help.cc	Thu Dec 15 16:46:46 1994 +0000
@@ -682,13 +682,17 @@
 		    }
 		}
 
-	      char *h = get_help_from_file (*argv);
+	      char *path = fcn_file_in_path (*argv);
+	      char *h = get_help_from_file (path);
 	      if (h && *h)
 		{
-		  output_buf << "\n" << h << "\n";
+		  output_buf << *argv << " is the file:\n"
+		    << path << "\n\n" << h << "\n";
 		  delete [] h;
+		  delete [] path;
 		  continue;
 		}
+	      delete [] path;
 
 	      output_buf << "\nhelp: sorry, `" << *argv
 		<< "' is not documented\n"; 
diff -r 2015030c0621 -r 34c1b152d6a3 src/pager.cc
--- a/src/pager.cc	Thu Dec 15 07:44:14 1994 +0000
+++ b/src/pager.cc	Thu Dec 15 16:46:46 1994 +0000
@@ -152,6 +152,7 @@
 	      pager_stream << message;
 	      delete [] message;
 	      pager_stream.flush ();
+	      pager_stream.close ();
 
 	      signal (SIGINT, old_sigint_handler);
 
diff -r 2015030c0621 -r 34c1b152d6a3 src/variables.cc
--- a/src/variables.cc	Thu Dec 15 07:44:14 1994 +0000
+++ b/src/variables.cc	Thu Dec 15 16:46:46 1994 +0000
@@ -557,6 +557,8 @@
 	      break;
 
 	    case '\n':
+	      if (first_comments_seen)
+		have_help_text = 1;
 	      input_line_number++;
 	      current_input_column = 0;
 	      continue;
@@ -776,9 +778,8 @@
 }
 
 char *
-get_help_from_file (const char *f)
+get_help_from_file (const char *path)
 {
-  char *path = fcn_file_in_path (f);
   if (path && *path)
     {
       FILE *fptr = fopen (path, "r");