diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2017-05-08 09:13:36 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2017-05-08 09:13:36 +0000 |
commit | fb7356be8fc2d630c3c088408799c2dc0d325502 (patch) | |
tree | 5486797474b42dff04fa961b88e71c352c8e9b5d /Build/source/texk | |
parent | 4ddd459481fd1f107b4579e8e60d8e4441357e91 (diff) |
sync
git-svn-id: svn://tug.org/texlive/trunk@44248 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk')
-rwxr-xr-x | Build/source/texk/texlive/w32_wrapper/runscript.tlu | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/texlive/w32_wrapper/runscript.tlu b/Build/source/texk/texlive/w32_wrapper/runscript.tlu index 6eb6002e434..c68239e7bb5 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 18:20:39 +0900 (日, 07 5 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" .. |