diff options
author | Karl Berry <karl@freefriends.org> | 2024-02-11 23:09:34 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2024-02-11 23:09:34 +0000 |
commit | 28be459803dd0bcd969b76f21388b6e574b4988f (patch) | |
tree | b3edd0b62026199072c54cc135d25ad73eda75ab /Master/bin | |
parent | 04e1d22dd491c19ef94bfc1ab01718ca6a8e7a31 (diff) |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@69813 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin')
-rwxr-xr-x[-rw-r--r--] | Master/bin/windows/ptekf.exe | bin | 40960 -> 40960 bytes | |||
-rwxr-xr-x | Master/bin/windows/runscript.tlu | 6 |
2 files changed, 3 insertions, 3 deletions
diff --git a/Master/bin/windows/ptekf.exe b/Master/bin/windows/ptekf.exe Binary files differindex 195fc73ee2a..195fc73ee2a 100644..100755 --- a/Master/bin/windows/ptekf.exe +++ b/Master/bin/windows/ptekf.exe diff --git a/Master/bin/windows/runscript.tlu b/Master/bin/windows/runscript.tlu index 31ed7767d5d..d59e5d83df2 100755 --- a/Master/bin/windows/runscript.tlu +++ b/Master/bin/windows/runscript.tlu @@ -1,7 +1,7 @@ -local svnrevision = string.match("$Revision: 65362 $", "%d+") or "0" -local svndate = string.match("$Date: 2022-12-27 04:12:37 +0900 (火, 27 12 2022) $", "[-%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" .. @@ -275,7 +275,7 @@ local docstr = [[ - support cluttex scripts 2018/11/08 - use included tcltk interpreter - + (see vc log for later changes) ]] -- HELPER SUBROUTINES -- |