diff options
| author | Karl Berry <karl@freefriends.org> | 2019-08-26 21:10:17 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2019-08-26 21:10:17 +0000 |
| commit | f5cf8132ebe91efa87e7d4c572998c326444b709 (patch) | |
| tree | bcc96092ca67f826a6c1d496acb1980035fa99cd /Build/source | |
| parent | 6dddb9db47abe97ad6955d2d04f339ca96389e48 (diff) | |
sync
git-svn-id: svn://tug.org/texlive/trunk@51964 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
| -rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index f6bc3d00d48..0745197971c 100755 --- a/Build/source/texk/texlive/w32_wrapper/runscript.tlu +++ b/Build/source/texk/texlive/w32_wrapper/runscript.tlu @@ -1,7 +1,7 @@ -local svnrevision = string.match("$Revision: 51550 $", "%d+") or "0" -local svndate = string.match("$Date: 2019-07-04 20:48:23 +0200 (Thu, 04 Jul 2019) $", "[-%d]+") or "2009-12-04" +local svnrevision = string.match("$Revision: 51942 $", "%d+") or "0" +local svndate = string.match("$Date: 2019-08-23 15:13:14 +0200 (Fri, 23 Aug 2019) $", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. @@ -281,6 +281,8 @@ local docstr = [[ -- HELPER SUBROUTINES -- local TEXDIR +local TEXDIRBSL +local TEXMFDISTBSL local guimode local function show_error(msg) @@ -706,12 +708,14 @@ if GSEXE then end else -- use built in gs - os.setenv('GS_LIB', TEXDIR..'/tlpkg/tlgs/lib;' - ..TEXDIR..'/tlpkg/tlgs/fonts;' - ..TEXDIR..'/tlpkg/tlgs/Resource/Init;' - ..TEXDIR..'/tlpkg/tlgs/Resource;' - ..TEXDIR..'/tlpkg/tlgs/kanji;' - ..os.getenv('WINDIR')..'/Fonts;'..TEXMFDIST..'/fonts') + TEXDIRBSL = string.gsub(TEXDIR,'/', '\\') + TEXMFDISTBSL = string.gsub(TEXMFDIST,'/', '\\') + os.setenv('GS_LIB', TEXDIRBSL..'\\tlpkg\\tlgs\\lib;' + ..TEXDIRBSL..'\\tlpkg\\tlgs\\fonts;' + ..TEXDIRBSL..'\\tlpkg\\tlgs\\Resource\\Init;' + ..TEXDIRBSL..'\\tlpkg\\tlgs\\Resource;' + ..TEXDIRBSL..'\\tlpkg\\tlgs\\kanji;' + ..os.getenv('WINDIR')..'\\Fonts;'..TEXMFDISTBSL..'\\fonts') os.setenv('GS_DLL', TEXDIR..'/tlpkg/tlgs/bin/gsdll32.dll') GSEXE = TEXDIR..'/tlpkg/tlgs/bin/gswin32c.exe' GSNAME = 'gswin32c.exe' |