# HG changeset patch
# User jwe
# Date 832044929 0
# Node ID d01936305d994f8b993e2f1d91d7eade33b14668
# Parent  64dbd9cb5e5a4a7acf31a8bdc0262907791342c2
[project @ 1996-05-14 03:31:57 by jwe]

diff -r 64dbd9cb5e5a -r d01936305d99 src/file-io.cc
--- a/src/file-io.cc	Tue May 14 03:21:01 1996 +0000
+++ b/src/file-io.cc	Tue May 14 03:35:29 1996 +0000
@@ -1151,6 +1151,28 @@
   return retval;
 }
 
+void
+symbols_of_file_io (void)
+{
+  DEFCONST (SEEK_SET, 0.0, 0, 0,
+    "used with fseek to position file relative to the beginning");
+
+  DEFCONST (SEEK_CUR, 1.0, 0, 0,
+    "used with fseek to position file relative to the current position");
+
+  DEFCONST (SEEK_END, 2.0, 0, 0,
+    "used with fseek to position file relative to the end");
+
+  DEFCONSTX ("stdin", SBV_stdin, 0.0, 0, 0,
+    "file number of the standard input stream");
+
+  DEFCONSTX ("stdout", SBV_stdout, 1.0, 0, 0,
+    "file number of the standard output stream");
+
+  DEFCONSTX ("stderr", SBV_stderr, 2.0, 0, 0,
+    "file number of the standard error stream");
+}
+
 /*
 ;;; Local Variables: ***
 ;;; mode: C++ ***
diff -r 64dbd9cb5e5a -r d01936305d99 src/file-io.h
--- a/src/file-io.h	Tue May 14 03:21:01 1996 +0000
+++ b/src/file-io.h	Tue May 14 03:35:29 1996 +0000
@@ -29,6 +29,8 @@
 
 extern void close_files (void);
 
+extern void symbols_of_file_io (void);
+
 #endif
 
 /*
diff -r 64dbd9cb5e5a -r d01936305d99 src/help.cc
--- 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++ ***
diff -r 64dbd9cb5e5a -r d01936305d99 src/help.h
--- a/src/help.h	Tue May 14 03:21:01 1996 +0000
+++ b/src/help.h	Tue May 14 03:35:29 1996 +0000
@@ -47,6 +47,8 @@
 			   const help_list *list, const string& nm,
 			   int usage);
 
+extern void symbols_of_help (void);
+
 #endif
 
 /*