Committed to enable merge.

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

diff --git a/src/Headers/help.h b/src/Headers/help.h
new file mode 100644 (file)
index 0000000..afd1139
--- /dev/null
+++ b/src/Headers/help.h
@@ -0,0 +1,23 @@
+/*
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** See ../LICENSE for license information.
+**
+*/
+/*
+** help.h
+*/
+
+# ifndef HELP_H
+# define HELP_H
+
+extern void help_processFlags (int p_argc, char **p_argv) ;
+extern void help_showAvailableHelp (void) ;
+
+# else
+# error "Multiple include"
+# endif
+
+
+
+
+