diff options
| author | Karl Berry <karl@freefriends.org> | 2013-04-11 23:21:19 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-04-11 23:21:19 +0000 |
| commit | af655782b5864a6c6f15041e382eca82e67a5536 (patch) | |
| tree | 86ff2c5a7ea9a93bf67ef58a92d28c8ab7c68692 /Master/tlpkg/bin | |
| parent | d48868dadddfc77b7a887e7b781985657323f9f1 (diff) | |
i386-linux update
git-svn-id: svn://tug.org/texlive/trunk@29869 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir index 2c0db852401..46c38708e01 100755 --- a/Master/tlpkg/bin/tl-update-bindir +++ b/Master/tlpkg/bin/tl-update-bindir @@ -287,6 +287,14 @@ for tlname in $tlnames; do svn propdel svn:executable $badlinks fi + # revert xindy.mem unless xindy changes. + if svn status xindy | grep '^M' >/dev/null; then + : + else + $msg "reverting xindy.mem..." + svn revert xindy*.mem + fi + # check for broken symlinks. for sl in `cat $tmpdir/new.symlink`; do test ! -r "$sl" && echo "$0: broken new symlink $sl" >&2 |