diff options
Diffstat (limited to 'Build/source/texk/dvipdfm-x/dpxfile.h')
-rw-r--r-- | Build/source/texk/dvipdfm-x/dpxfile.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Build/source/texk/dvipdfm-x/dpxfile.h b/Build/source/texk/dvipdfm-x/dpxfile.h index 835e4182975..1ccea026007 100644 --- a/Build/source/texk/dvipdfm-x/dpxfile.h +++ b/Build/source/texk/dvipdfm-x/dpxfile.h @@ -56,8 +56,6 @@ extern char * dpx_find_dfont_file (const char *filename); #define DPXFOPEN(n,t) dpx_open_file((const char *)(n),(t)) #define DPXFCLOSE(f) MFCLOSE((f)) -extern void dpx_file_set_verbose (void); - extern int dpx_file_apply_filter (const char *cmdtmpl, const char *input, const char *output, int version); @@ -66,5 +64,4 @@ extern char *dpx_create_fix_temp_file (const char *filename); extern void dpx_delete_old_cache (int life); extern void dpx_delete_temp_file (char *tmp, int force); /* tmp freed here */ -extern int keep_cache; #endif /* _DPXFILE_H_ */ |