diff options
author | Karl Berry <karl@freefriends.org> | 2011-01-08 00:58:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-01-08 00:58:46 +0000 |
commit | b7a27a8b2f7c74dbb04c246ece8f8d124019cb39 (patch) | |
tree | d92942eec78588b0e16eaccca11c9c3e7ac5ec2b /Master | |
parent | 859244adc47353454065da69391b0ccbd65e5306 (diff) |
restore keywords after failed ftp
git-svn-id: svn://tug.org/texlive/trunk@20976 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-auto | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-auto b/Master/tlpkg/bin/tl-update-auto index 8dbde5c8164..600440ae842 100755 --- a/Master/tlpkg/bin/tl-update-auto +++ b/Master/tlpkg/bin/tl-update-auto @@ -227,7 +227,7 @@ if $config_scripts_only; then :; else cat_dump=/tmp/tc.xml rm -f $cat_dump.new wget --quiet ftp://tug.ctan.org/ftpmaint/az/texcatalogue.xml -O $cat_dump.new \ -&& mv $cat_dump.new $cat_dump +&& test -s $cat_dump.new && mv $cat_dump.new $cat_dump # if ftp fails, we'll reprocess the old dump, but that should be harmless. $mydir/tl-update-keywords -input $cat_dump | tee $temp.keywords \ | grep -v '# Generated' >$temp.keywords.new |