summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-update-bindir
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tl-update-bindir')
-rwxr-xr-xMaster/tlpkg/bin/tl-update-bindir6
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tl-update-bindir b/Master/tlpkg/bin/tl-update-bindir
index 6a5f455b9ba..91077075fd8 100755
--- a/Master/tlpkg/bin/tl-update-bindir
+++ b/Master/tlpkg/bin/tl-update-bindir
@@ -318,6 +318,12 @@ for tlname in $tlnames; do
svn revert xindy*.mem
fi
+ # and if xindy was deleted, revert it.
+ if svn status xindy.run | grep '^D' >/dev/null; then
+ $msg "reverting all xindy..."
+ svn revert tex2xindy texindy xindy xindy.mem xindy.run
+ fi
+
# check for broken symlinks.
for sl in `cat $tmpdir/new.symlink`; do
test ! -r "$sl" && echo "$0: broken new symlink $sl" >&2