aboutsummaryrefslogtreecommitdiff
path: root/src/include/ex2ht.H1
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-05-22 04:30:09 +0000
committerdos-reis <gdr@axiomatics.org>2008-05-22 04:30:09 +0000
commit03b944b832df7e85d70756c6f583cd53e765d543 (patch)
tree09f08b883c647be2e7db91df50dcc21ee21d5f94 /src/include/ex2ht.H1
parent6fb5e2eb0ae14a03d0fda4f5a5e768744ee446ff (diff)
downloadopen-axiom-03b944b832df7e85d70756c6f583cd53e765d543.tar.gz
* hyper/hthits.c (regerr): Remove.
* include/ex2ht.H1: Remove. * include/hthits.H1: Remove.
Diffstat (limited to 'src/include/ex2ht.H1')
-rw-r--r--src/include/ex2ht.H114
1 files changed, 0 insertions, 14 deletions
diff --git a/src/include/ex2ht.H1 b/src/include/ex2ht.H1
deleted file mode 100644
index 2dc0334d..00000000
--- a/src/include/ex2ht.H1
+++ /dev/null
@@ -1,14 +0,0 @@
-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);