diff options
| author | Karl Berry <karl@freefriends.org> | 2018-03-21 22:38:28 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-03-21 22:38:28 +0000 |
| commit | 702e7d5d7c356c2aab9ee6ced1b1b2c46b73bc50 (patch) | |
| tree | 934e54ec5c53cea2ccb4eaf26f4e9e85f8543fa3 /Master/tlpkg | |
| parent | 68383b59a4d8468f5016da77faa517fee4ab25d9 (diff) | |
don't special case dvisvgm, avoid updating biber
if present
git-svn-id: svn://tug.org/texlive/trunk@47067 c570f23f-e606-0410-a88d-b1316a301751
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)?$' \ |