diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-bindir')
-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 fe146711a70..3ee215d92a4 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -280,7 +280,7 @@ for tlplat in $tlplats; do | egrep -v '^(x?asy(\.exe)?|freeglut\.dll)$' \ | egrep -v '^biber(-ms)?(\.exe)?$' \ | egrep -v '^dvisvgm$' \ - | egrep -v '^(luametatex|context(.lua)?|mtxrun$' \ + | egrep -v '^(luametatex|context(.lua))?|mtxrun$' \ | egrep -v 'xindy' \ >$ourdel # intentionally anything matching xindy comm -13 $tmpdir/now $tmpdir/new >$ouradd # looking for additions |