diff options
Diffstat (limited to 'src/include/ex2ht.H1')
| -rw-r--r-- | src/include/ex2ht.H1 | 14 |
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); |