diff options
author | Karl Berry <karl@freefriends.org> | 2019-12-25 22:48:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-12-25 22:48:02 +0000 |
commit | 53f4b457e203b6cf1d3b95f9675fa35144b4a06a (patch) | |
tree | 5394a161d20f5929e4a8c7af4ebe8a5b43e76670 /Master/tlpkg/bin/tl-update-bindir | |
parent | c697daa2e690c9ad09ed1f0857b3c23e7dd8f547 (diff) |
ketcindy, now also in linked_scripts (25dec19)
git-svn-id: svn://tug.org/texlive/trunk@53230 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-bindir')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index a2c75df31fd..dce4dd90160 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -266,12 +266,12 @@ for tlplat in $tlplats; do ourdel=$tmpdir/2del ouradd=$tmpdir/2add - # looking for deletions, but don't delete (x)asy, biber, xindy, ketcindy. + # looking for deletions, but don't delete (x)asy, biber, xindy. comm -23 $tmpdir/now $tmpdir/new \ | egrep -v '^(x?asy(\.exe)?|freeglut\.dll)$' \ | egrep -v '^biber(\.exe)?$' \ | egrep -v '^dvisvgm$' \ - | egrep -v '(x|ketc)indy' \ + | egrep -v 'xindy' \ >$ourdel # intentionally anything matching xindy comm -13 $tmpdir/now $tmpdir/new >$ouradd # looking for additions |