diff options
| author | Karl Berry <karl@freefriends.org> | 2017-04-23 23:50:51 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2017-04-23 23:50:51 +0000 |
| commit | 719e83160c420d75d1115fb1e2f02a3e8fa24e51 (patch) | |
| tree | 266c797873a48f8ac9358a919124b88ebd01e2eb /Build/source/texk | |
| parent | 81672b3bca8ab53a8f9984d307607af2167da4d3 (diff) | |
sync
git-svn-id: svn://tug.org/texlive/trunk@44003 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
| -rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index aac565fa153..141666f1469 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: 43968 $", "%d+") or "0" -local svndate = string.match("$Date: 2017-04-22 01:24:18 +0200 (Sat, 22 Apr 2017) $", "[-%d]+") or "2009-12-04" +local svnrevision = string.match("$Revision: 44002 $", "%d+") or "0" +local svndate = string.match("$Date: 2017-04-24 01:50:36 +0200 (Mon, 24 Apr 2017) $", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. @@ -257,6 +257,8 @@ local docstr = [[ - Warning if external perl is requested but missing 2017/04/22 (exactly one year later ;-) - Cater for fmtutil-user and updmap-user => -user arg + 2017/04/24 + - GS_LIB setting for tlgs. ]] -- HELPER SUBROUTINES -- |