diff options
author | Karl Berry <karl@freefriends.org> | 2023-05-07 19:49:20 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-05-07 19:49:20 +0000 |
commit | 2fe6e343cac78a0a2f21fbe99484aad134ef1947 (patch) | |
tree | 9452037f943afd7e80b9f505ec6529bcce0725c9 /Master/tlpkg/bin | |
parent | 3e2afe5f350a3d2f3d69536a1d62cceff98f4150 (diff) |
copy luametatex.exe to context.exe and
mtxrun.exe for Windows.
git-svn-id: svn://tug.org/texlive/trunk@67045 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-lmtx-bin | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-lmtx-bin b/Master/tlpkg/bin/tl-update-lmtx-bin index 33f06017253..e590da3208f 100755 --- a/Master/tlpkg/bin/tl-update-lmtx-bin +++ b/Master/tlpkg/bin/tl-update-lmtx-bin @@ -36,6 +36,10 @@ for cgplat in \ if wget -nv $url -O lmtx.new; then mv lmtx.new $binfile || exit 1 echo "$tlplat/$binfile updated" + if $tlplat = windows; then; + cp -p $binfile context.exe + cp -p $binfile mtxrun.exe + fi else echo "$0: goodbye, wget failed: $url" >&2 exit 1 |