summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-update-bindir
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2019-12-25 22:48:02 +0000
committerKarl Berry <karl@freefriends.org>2019-12-25 22:48:02 +0000
commit53f4b457e203b6cf1d3b95f9675fa35144b4a06a (patch)
tree5394a161d20f5929e4a8c7af4ebe8a5b43e76670 /Master/tlpkg/bin/tl-update-bindir
parentc697daa2e690c9ad09ed1f0857b3c23e7dd8f547 (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-xMaster/tlpkg/bin/tl-update-bindir4
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