diff options
author | Karl Berry <karl@freefriends.org> | 2014-04-19 23:38:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2014-04-19 23:38:57 +0000 |
commit | 9bb489475f9926c781405f9af5946cb8900262d7 (patch) | |
tree | 693fd97fde311ebeb408f2edf5f46740f4ac53ba /Master/tlpkg/bin/tl-update-bindir | |
parent | 6e6ff4eb973db72c0299ac48ea360cb9ae300943 (diff) |
no more install-tl.bat; find luajitlatex.exe (but no luajits); do not lose xindy
git-svn-id: svn://tug.org/texlive/trunk@33548 c570f23f-e606-0410-a88d-b1316a301751
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 |