diff options
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index 353eed8ea5d..f19f99bb0b4 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -246,7 +246,7 @@ for tlname in $tlnames; do # looking for deletions, but don't delete (x)asy, biber, or xindy. comm -23 $tmpdir/now $tmpdir/new \ | egrep -v '^(x?asy(\.exe)?|freeglut\.dll)$' \ - | egrep -v '^biber$' \ + | egrep -v '^biber(\.exe)?$' \ | egrep -v 'xindy' \ >$ourdel # intentionally anything matching xindy comm -13 $tmpdir/now $tmpdir/new >$ouradd # looking for additions |