diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index 0801e77b542..9f0fd5bed5d 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -235,6 +235,9 @@ for tlplat in $tlplats; do # in case people mistakenly include .svn dirs in their tars. find "$srcdir" -name .svn | xargs rm -rf + # ditto, biber. + find "$srcdir" -name biber\* | xargs rm -f + # may need to cd into a subdirectory, depending on how the tar was made. while test `ls $srcdir | wc -l` = 1; do srcdir=$srcdir/* @@ -246,7 +249,7 @@ for tlplat in $tlplats; do ourdel=$tmpdir/2del ouradd=$tmpdir/2add - # looking for deletions, but don't delete (x)asy, biber, dvisvgm, xindy. + # looking for deletions, but don't delete (x)asy, biber, xindy. comm -23 $tmpdir/now $tmpdir/new \ | egrep -v '^(x?asy(\.exe)?|freeglut\.dll)$' \ | egrep -v '^biber(\.exe)?$' \ |