diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-08-03 08:56:01 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2011-08-03 08:56:01 +0000 |
| commit | 7a45d185107fc4233563feae433438ac25bc8b8c (patch) | |
| tree | dc31f5d51cf732ce92af58c44882f8f94dc2cab1 /Build/source | |
| parent | 2b9faf719575eb578dbbfb7fe1a928ef599bb19b (diff) | |
gsftopk: Reduce diffs with W32TeX
git-svn-id: svn://tug.org/texlive/trunk@23363 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rw-r--r-- | Build/source/texk/gsftopk/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/gsftopk/gsftopk.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/Build/source/texk/gsftopk/ChangeLog b/Build/source/texk/gsftopk/ChangeLog index 323811ece20..631c3449674 100644 --- a/Build/source/texk/gsftopk/ChangeLog +++ b/Build/source/texk/gsftopk/ChangeLog @@ -1,3 +1,7 @@ +2011-08-03 Peter Breitenlohner <peb@mppmu.mpg.de> + + * gsftopk.c [MINGW32]: Drop superfluous dostounix_filename(). + 2010-09-23 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am (DISTCLEANFILES): Use += instead of = to add diff --git a/Build/source/texk/gsftopk/gsftopk.c b/Build/source/texk/gsftopk/gsftopk.c index 0531222041e..97b094a2f19 100644 --- a/Build/source/texk/gsftopk/gsftopk.c +++ b/Build/source/texk/gsftopk/gsftopk.c @@ -2405,10 +2405,6 @@ Author of gsftopk: Paul Vojta."); *p = '\0'; #ifdef KPATHSEA searchpath = kpse_find_file(q, kpse_tex_ps_header_format,true); -#ifdef __MINGW32__ - /* Be safe for Ghostscript's sake */ - dostounix_filename(searchpath); -#endif /* __MINGW32__ */ f = searchpath ? fopen(searchpath, FOPEN_R_MODE) : NULL; #else f = search(config_file_header_path, "DVIPSHEADERS", q); |