summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-update-bindir
diff options
context:
space:
mode:
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 e6ad78ad3fc..d5af9efb66b 100755
--- a/Master/tlpkg/bin/tl-update-bindir
+++ b/Master/tlpkg/bin/tl-update-bindir
@@ -245,12 +245,12 @@ for tlplat in $tlplats; do
ourdel=$tmpdir/2del
ouradd=$tmpdir/2add
- # looking for deletions, but don't delete (x)asy, biber, xindy.
+ # looking for deletions, but don't delete (x)asy, biber, xindy, ketcindy.
comm -23 $tmpdir/now $tmpdir/new \
| egrep -v '^(x?asy(\.exe)?|freeglut\.dll)$' \
| egrep -v '^biber(\.exe)?$' \
| egrep -v '^dvisvgm$' \
- | egrep -v 'xindy' \
+ | egrep -v '(x|ketc)indy' \
>$ourdel # intentionally anything matching xindy
comm -13 $tmpdir/now $tmpdir/new >$ouradd # looking for additions