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);
