diff 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
line wrap: on
line diff
--- a/src/help.h
+++ b/src/help.h
@@ -31,6 +31,8 @@
 
 extern string_vector make_name_list (void);
 
+extern void display_help_text (ostream&, const string&);
+
 extern void additional_help_message (ostream&);
 
 // Name of the info file specified on command line.