diff src/help.h @ 6243:7924a9086c08

[project @ 2007-01-17 21:47:50 by jwe]
author jwe
date Wed, 17 Jan 2007 21:47:51 +0000
parents e8be7fe586f9
children 89b916a9eb61
line wrap: on
line diff
--- a/src/help.h	Tue Jan 16 07:03:52 2007 +0000
+++ b/src/help.h	Wed Jan 17 21:47:51 2007 +0000
@@ -39,6 +39,8 @@
 
 extern void additional_help_message (std::ostream&);
 
+extern std::string raw_help (const std::string&, bool&);
+
 // Name of the info file specified on command line.
 // (--info-file file)
 extern std::string Vinfo_file;