diff options
Diffstat (limited to 'Build/source/texk/dvipdfmx')
-rw-r--r-- | Build/source/texk/dvipdfmx/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/dvipdfmx/src/dpxfile.c | 4 | ||||
-rw-r--r-- | Build/source/texk/dvipdfmx/src/dpxfile.h | 2 |
3 files changed, 7 insertions, 3 deletions
diff --git a/Build/source/texk/dvipdfmx/ChangeLog b/Build/source/texk/dvipdfmx/ChangeLog index 670008ef74a..d9bc001fe66 100644 --- a/Build/source/texk/dvipdfmx/ChangeLog +++ b/Build/source/texk/dvipdfmx/ChangeLog @@ -1,3 +1,7 @@ +2013-03-26 Peter Breitenlohner <peb@mppmu.mpg.de> + + * src/dpxfile.[ch]: Synch with ../xdvipdfmx. + 2013-03-26 Akira Kakuto <kakuto@fuk.kindai.ac.jp> * src/dvi.c: Correct my mistake to delete RELEASE(q). diff --git a/Build/source/texk/dvipdfmx/src/dpxfile.c b/Build/source/texk/dvipdfmx/src/dpxfile.c index dcb520577d2..0ce27b6ce02 100644 --- a/Build/source/texk/dvipdfmx/src/dpxfile.c +++ b/Build/source/texk/dvipdfmx/src/dpxfile.c @@ -815,7 +815,7 @@ dpx_create_temp_file (void) #endif /* 0 */ char * -dpx_create_fix_temp_file (char *filename) +dpx_create_fix_temp_file (const char *filename) { #define PREFIX "dvipdfmx." static const char *dir = NULL; @@ -835,7 +835,7 @@ dpx_create_fix_temp_file (char *filename) MD5_init(&state); MD5_write(&state, (unsigned char *)cwd, strlen(cwd)); - MD5_write(&state, (unsigned char *)filename, strlen(filename)); + MD5_write(&state, (unsigned const char *)filename, strlen(filename)); MD5_final(digest, &state); ret = NEW(strlen(dir)+1+strlen(PREFIX)+MAX_KEY_LEN*2 + 1, char); diff --git a/Build/source/texk/dvipdfmx/src/dpxfile.h b/Build/source/texk/dvipdfmx/src/dpxfile.h index 53b9fc7855e..df95b8c5411 100644 --- a/Build/source/texk/dvipdfmx/src/dpxfile.h +++ b/Build/source/texk/dvipdfmx/src/dpxfile.h @@ -57,7 +57,7 @@ extern int dpx_file_apply_filter (const char *cmdtmpl, const char *input, const char *output, unsigned char version); extern char *dpx_create_temp_file (void); -extern char *dpx_create_fix_temp_file (char *filename); +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 */ |