diff options
author | Karl Berry <karl@freefriends.org> | 2016-04-15 22:59:41 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-04-15 22:59:41 +0000 |
commit | 092d3631df923d75af27fc722762379e14afc3e9 (patch) | |
tree | 99d30ebb34833d9422e3aa57e4671c8642a12371 /Master/doc.html | |
parent | 0dd1263a6fbad8b5627bc51fba85e1a3bd146ca5 (diff) |
(do_updater): --batch for gpg; don't use subshells
so we abort on failure; check that target files
exist and are non-empty.
git-svn-id: svn://tug.org/texlive/trunk@40541 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/doc.html')
0 files changed, 0 insertions, 0 deletions