diff options
author | Karl Berry <karl@freefriends.org> | 2013-05-12 23:20:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-05-12 23:20:46 +0000 |
commit | af7dc19a0486c1edd38d5621cb0feb7e6e76ce51 (patch) | |
tree | a9e886d6edd5a65e3d0d18d0b6e2cd62406130c9 | |
parent | fe6172453383dac9a108fdab9cec28ed726552bb (diff) |
sync from Master
git-svn-id: svn://tug.org/texlive/trunk@30428 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index 6abcbdfc0f0..dbd15908d1f 100755 --- a/Build/source/texk/texlive/w32_wrapper/runscript.tlu +++ b/Build/source/texk/texlive/w32_wrapper/runscript.tlu @@ -1,8 +1,8 @@ --- $Id$
+-- $Id: runscript.tlu 30421 2013-05-12 18:42:59Z siepo $
-local svnrevision = string.match("$Revision$", "%d+") or "0"
-local svndate = string.match("$Date$", "[-%d]+") or "2009-12-04"
+local svnrevision = string.match("$Revision: 30421 $", "%d+") or "0"
+local svndate = string.match("$Date: 2013-05-12 20:42:59 +0200 (Sun, 12 May 2013) $", "[-%d]+") or "2009-12-04"
local bannerstr = "runscript wrapper utility (rev. " ..
svnrevision .. ", " .. svndate .. ")\n" ..
"usage: runscript script-name [arguments]\n" ..
@@ -541,6 +541,7 @@ elseif progname == 'fmtutil' and sysprog then ARGV = {[0]=BINDIR..'/fmtutil.exe', 'fmtutil', argline}
elseif progname == 'mkluatexfontdb' then
progname = 'luaotfload-tool'
+ table.insert(arg, '--alias=mkluatexfontdb')
elseif progname == 'psv' then
argline = '-sINPUT='..argline
ARGV = {[0]=TEXDIR..'/tlpkg/tlpsv/gswxlua.exe', 'gswxlua',
|