diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-bindir')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-bindir | 6 |
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 |