Initial population.

1 files changed, 14 insertions, 0 deletions

diff --git a/src/include/ex2ht.H1 b/src/include/ex2ht.H1
new file mode 100644
index 00000000..2dc0334d
--- /dev/null
+++ b/src/include/ex2ht.H1
@@ -0,0 +1,14 @@
+extern int main(int argc , char * * argv);
+extern void openCoverPage(void);
+extern void exToHt(char * filename);
+extern void closeCoverPage(void);
+extern void addFile(char * filename);
+extern void closeCoverFile(void);
+extern char * allocString(char * s);
+extern char * strPrefix(char * prefix , char * s);
+extern char * getExTitle(FILE * inFile , char * line);
+extern void emitCoverLink(char * name , char * title);
+extern void emitHeader(FILE * outFile , char * pageName , char * pageTitle);
+extern void emitMenuEntry(char * line , FILE * outFile);
+extern void emitSpadCommand(char * line , char * prefix , FILE * outFile);
+extern void emitFooter(FILE * outFile);