diff options
Diffstat (limited to 'Build/source/texk/xdvik/read-mapfile.c')
-rw-r--r-- | Build/source/texk/xdvik/read-mapfile.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Build/source/texk/xdvik/read-mapfile.c b/Build/source/texk/xdvik/read-mapfile.c index 043d4bb1309..f637f06f6ae 100644 --- a/Build/source/texk/xdvik/read-mapfile.c +++ b/Build/source/texk/xdvik/read-mapfile.c @@ -55,6 +55,8 @@ read_map_file(char *name) return False; } + TRACE_T1((stderr, "Map file: %s\n", fullname)); + while (fgets(inline_buf, INLINE_SIZE, fp) != NULL) { char *TeXname = NULL; char *PSname = NULL; |