diff options
Diffstat (limited to 'Build/source/texk/web2c/mpware/dmp.h')
-rw-r--r-- | Build/source/texk/web2c/mpware/dmp.h | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mpware/dmp.h b/Build/source/texk/web2c/mpware/dmp.h new file mode 100644 index 00000000000..33873188205 --- /dev/null +++ b/Build/source/texk/web2c/mpware/dmp.h @@ -0,0 +1,22 @@ +/* $Id: dmp.h,v 1.2 2004/09/19 21:51:38 karl Exp $ + Public domain. */ + +#ifndef DMP_H +#define DMP_H + +#define TEXFONTS_TYPE 1 +#define DB_TYPE 2 +#define CHARLIB_TYPE 3 +#define TRFONTS_TYPE 4 + +extern FILE *fsearch(char *nam, char *ext, int path_type); +extern void fsearch_init(void); +extern void pathexpand(char *buf, int dirlen, int bufsize); + +#define POOLMAX 65000 /* total characters in all font and char names */ + +extern int poolsize; /* chars used so far in strpool */ +extern char strpool[]; /* chars used so far in strpool */ + + +#endif |