diff options
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-61-bug-fix')
-rw-r--r-- | Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-61-bug-fix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-61-bug-fix b/Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-61-bug-fix new file mode 100644 index 00000000000..7d7cb6e9c62 --- /dev/null +++ b/Build/source/texk/dvi2tty/dvi2tty-5.3.3-PATCHES/patch-61-bug-fix @@ -0,0 +1,13 @@ +diff -ur dvi2tty-5.3.3.orig/dvi2tty.c dvi2tty-5.3.3/dvi2tty.c +--- dvi2tty-5.3.3.orig/dvi2tty.c 2010-11-06 20:09:00.000000000 +0100 ++++ dvi2tty-5.3.3/dvi2tty.c 2010-11-09 11:47:09.561737069 +0100 +@@ -588,8 +588,8 @@ + if (!readable_file(DVIfilename)) + #else + if ((i < 5) || strcmp(str+i-4, ".dvi")) +- strcat(DVIfilename, ".dvi"); + #endif ++ strcat(DVIfilename, ".dvi"); + + return; + |