summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-07-win32
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-07-win32')
-rw-r--r--Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-07-win3257
1 files changed, 57 insertions, 0 deletions
diff --git a/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-07-win32 b/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-07-win32
new file mode 100644
index 00000000000..826ee1ab667
--- /dev/null
+++ b/Build/source/texk/dvi2tty/dvi2tty-PATCHES/patch-07-win32
@@ -0,0 +1,57 @@
+diff -ur dvi2tty-5.3.4.orig/dvi2tty.c dvi2tty-5.3.4/dvi2tty.c
+--- dvi2tty-5.3.4.orig/dvi2tty.c 2012-06-22 10:12:43.000000000 +0200
++++ dvi2tty-5.3.4/dvi2tty.c 2012-09-06 21:51:41.000000000 +0200
+@@ -164,7 +164,11 @@
+ Argc = argc;
+ Argv = argv;
+
++#ifdef WIN32
++ set_enc_string ("sjis", "default");
++#else
+ set_enc_string (NULL, "default");
++#endif
+ getargs(); /* read command line arguments */
+ #if defined(THINK_C)
+ if (inputfromfile) {
+diff -ur dvi2tty-5.3.4.orig/dvistuff.c dvi2tty-5.3.4/dvistuff.c
+--- dvi2tty-5.3.4.orig/dvistuff.c 2012-04-26 09:20:32.000000000 +0200
++++ dvi2tty-5.3.4/dvistuff.c 2012-07-10 14:18:30.000000000 +0200
+@@ -970,13 +970,13 @@
+
+ i = toBUFF(fromDVI(ch));
+ kanji1 = 3;
+- if (BYTE1(i) != 0) outchar(BYTE1(i));
++ if (BYTE1(i) != 0) outchar((unsigned char)BYTE1(i));
+ kanji1 = 2;
+- if (BYTE2(i) != 0) outchar(BYTE2(i));
++ if (BYTE2(i) != 0) outchar((unsigned char)BYTE2(i));
+ kanji1 = 1;
+- /* always */ outchar(BYTE3(i));
++ /* always */ outchar((unsigned char)BYTE3(i));
+ kanji1 = 0;
+- /* always */ outchar(BYTE4(i));
++ /* always */ outchar((unsigned char)BYTE4(i));
+
+ return;
+
+@@ -1325,7 +1325,7 @@
+ void setchar(long charnr)
+ {
+
+- outchar(allchar ? (unsigned char) charnr : '#');
++ outchar((unsigned char)(allchar ? charnr : '#'));
+
+ return;
+
+@@ -1541,9 +1541,9 @@
+
+ compute_jis(fnt->fontnum, (unsigned int) ch, &Ku, &Ten);
+ kanji1 = 1;
+- outchar(Ku+128);
++ outchar((unsigned char)(Ku+128));
+ kanji1 = 0;
+- outchar(Ten+128);
++ outchar((unsigned char)(Ten+128));
+
+ return;
+