Put manual in CVS

[splint.git] / src / Headers / flags.h

diff --git a/src/Headers/flags.h b/src/Headers/flags.h
index 8a8a96e24a1ea911c92f6b0acf183a373641e5c6..042948f34940b0bb2ef73203657ae7e670ba8d6d 100644 (file)
--- a/src/Headers/flags.h
+++ b/src/Headers/flags.h
@@ -30,7 +30,7 @@ typedef enum
 extern void listAllCategories (void);
 extern void printAlphaFlags (void);
 extern void printAllFlags (bool p_desc, bool p_full);
-extern void printFlagManual (void);
+extern void printFlagManual (bool p_html);
 
 extern void flagcode_recordError (flagcode p_f);
 extern void flagcode_recordSuppressed (flagcode p_f);