diff src/help.h @ 2202:31b62b7c5d2d

[project @ 1996-05-15 06:07:11 by jwe]
author jwe
date Wed, 15 May 1996 06:07:55 +0000
parents d01936305d99
children eedc2f3f61f7
line wrap: on
line diff
--- a/src/help.h
+++ b/src/help.h
@@ -47,6 +47,14 @@
 			   const help_list *list, const string& nm,
 			   int usage);
 
+// Name of the info file specified on command line.
+// (--info-file file)
+extern string Vinfo_file;
+
+// Name of the info reader we'd like to use.
+// (--info-program program)
+extern string Vinfo_prog;
+
 extern void symbols_of_help (void);
 
 #endif