diff options
Diffstat (limited to 'Master/tlpkg/bin')
| -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 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 |