diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-auto')
-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 |