diff options
-rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index 77d64f4804c..285817f7fca 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: 44235 $", "%d+") or "0" -local svndate = string.match("$Date: 2017-05-07 11:20:39 +0200 (Sun, 07 May 2017) $", "[-%d]+") or "2009-12-04" +local svnrevision = string.match("$Revision$", "%d+") or "0" +local svndate = string.match("$Date$", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. @@ -675,6 +675,9 @@ elseif progname == 'tlgs' then ARGV = {[0]=GSEXE, GSNAME} elseif progname == 'tlperl' then ARGV = {[0]=PERLEXE, 'perl'} +elseif progname == 'latexdef' then + progname = 'texdef' + argline = ' --tex latex ' .. argline end -- general case |