1 files changed, 0 insertions, 12 deletions
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);