diff options
| -rw-r--r-- | Build/source/texk/dviljk/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/dviljk/dvi2xx.c | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/Build/source/texk/dviljk/ChangeLog b/Build/source/texk/dviljk/ChangeLog index 98681efb569..72a3e90a157 100644 --- a/Build/source/texk/dviljk/ChangeLog +++ b/Build/source/texk/dviljk/ChangeLog @@ -1,3 +1,7 @@ +2014-06-23 Akira Kakuto <kakuto@fuk.kindai.ac.jp> + + * dvi2xx.c: Use rungs.exe instead of gswin32c.exe. + 2014-06-19 Peter Breitenlohner <peb@mppmu.mpg.de> * dvi2xx.c: Avoid undefined behaviour when char is signed. diff --git a/Build/source/texk/dviljk/dvi2xx.c b/Build/source/texk/dviljk/dvi2xx.c index df5dddff557..55878f0492b 100644 --- a/Build/source/texk/dviljk/dvi2xx.c +++ b/Build/source/texk/dviljk/dvi2xx.c @@ -4077,7 +4077,7 @@ void DoSpecial(char *str, int n) #ifdef WIN32 if ( (gs_cmd = getenv("GS_PATH")) == NULL ) - gs_cmd = "gswin32c.exe"; + gs_cmd = "rungs.exe"; #else gs_cmd = "gs"; #endif |