diff options
author | Karl Berry <karl@freefriends.org> | 2018-05-14 17:43:35 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-05-14 17:43:35 +0000 |
commit | 7810775d1cb9bffd6fdd4ab34fa9cda00b934816 (patch) | |
tree | 7fc14ab05d5fbb1a2562d97a5ecc2621ad767c94 /Master/tlpkg/bin/tl-update-bindir | |
parent | 872abd5ea5e52b8c5615892baebd8b648719d13e (diff) |
error msg, branch doc
git-svn-id: svn://tug.org/texlive/trunk@47713 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 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 |