comparison src/help.h @ 3330:69136e3883bf

[project @ 1999-11-02 05:33:27 by jwe]
author jwe
date Tue, 02 Nov 1999 05:33:28 +0000
parents f512c16826d1
children d14c483b3c12
comparison
equal deleted inserted replaced
3329:e84e324db1de 3330:69136e3883bf
29 29
30 class string_vector; 30 class string_vector;
31 31
32 extern string_vector make_name_list (void); 32 extern string_vector make_name_list (void);
33 33
34 extern void display_help_text (ostream&, const string&);
35
34 extern void additional_help_message (ostream&); 36 extern void additional_help_message (ostream&);
35 37
36 // Name of the info file specified on command line. 38 // Name of the info file specified on command line.
37 // (--info-file file) 39 // (--info-file file)
38 extern string Vinfo_file; 40 extern string Vinfo_file;