diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-22 04:30:09 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-22 04:30:09 +0000 |
| commit | 03b944b832df7e85d70756c6f583cd53e765d543 (patch) | |
| tree | 09f08b883c647be2e7db91df50dcc21ee21d5f94 /src/include | |
| parent | 6fb5e2eb0ae14a03d0fda4f5a5e768744ee446ff (diff) | |
| download | open-axiom-03b944b832df7e85d70756c6f583cd53e765d543.tar.gz | |
* hyper/hthits.c (regerr): Remove.
* include/ex2ht.H1: Remove.
* include/hthits.H1: Remove.
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/all_hyper_proto.H1 | 1 | ||||
| -rw-r--r-- | src/include/ex2ht.H1 | 14 | ||||
| -rw-r--r-- | src/include/hthits.H1 | 12 |
3 files changed, 0 insertions, 27 deletions
diff --git a/src/include/all_hyper_proto.H1 b/src/include/all_hyper_proto.H1 index 0218d96a..ac6d8ce1 100644 --- a/src/include/all_hyper_proto.H1 +++ b/src/include/all_hyper_proto.H1 @@ -3,7 +3,6 @@ #include "cond.H1" #include "display.H1" #include "event.H1" -#include "ex2ht.H1" #include "form_ext.H1" #include "extent1.H1" #include "extent2.H1" 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); diff --git a/src/include/hthits.H1 b/src/include/hthits.H1 deleted file mode 100644 index f210bb49..00000000 --- a/src/include/hthits.H1 +++ /dev/null @@ -1,12 +0,0 @@ -extern void regerr(int code); -extern int main(int argc , char * * argv); -extern void cmdline(int argc , char * * argv); -extern void handleHtdb(void); -extern void badDB(void); -extern void handleFile(FILE * htdbFile); -extern void handleFilePages(char * fname , int pgc , PgInfo * pgv); -extern void handlePage(FILE * infile , PgInfo * pg); -extern void splitpage(char * buf , char * * ptitle , char * * pbody); -extern void untexbuf(register char * s); -extern void searchPage(char * pgname , char * pgtitle , char * pgbody); -extern void squirt(char * s , int n); |