summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2017-12-10 13:37:23 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2017-12-10 13:37:23 +0000
commit03c7a028c02801cb35e3a041ec64d934b0936c3a (patch)
treec64e02622a05babfad15abad75597f1f013474b8
parent7d8848b1c4442edb06c70c846f2188905db6e3f4 (diff)
runscript.tlu: sync
git-svn-id: svn://tug.org/texlive/trunk@46032 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xBuild/source/texk/texlive/w32_wrapper/runscript.tlu7
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