diff options
author | Karl Berry <karl@freefriends.org> | 2019-05-10 22:23:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-05-10 22:23:09 +0000 |
commit | c4e345d20b5df263dab6270c8ed208049cb9cf4f (patch) | |
tree | c09a9ddf8f5580cba930c5ab35e091bb87c746cd /Master/tlpkg/bin/tl-update-images | |
parent | b01551ccad284a7f20a02ad811599a5f19d524c6 (diff) |
doc,sync
git-svn-id: svn://tug.org/texlive/trunk@51076 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/tl-update-images')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-images | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tl-update-images b/Master/tlpkg/bin/tl-update-images index 7506c3ac3f6..d79b5b86536 100755 --- a/Master/tlpkg/bin/tl-update-images +++ b/Master/tlpkg/bin/tl-update-images @@ -109,8 +109,9 @@ MAKEINST () fi cp -pr install-tl *.bat tlpkg archive $imgdir || exit 1 # - # Save all tlpdb files before pruning platforms. - preprune=/tmp/pruneimg.pre + # Save all tlpdb files before pruning platforms; these will be posted + # to historic later; see releng.txt. + preprune=$target/preprune-tlpdb rm -rf $preprune && mkdir $preprune cp -p tlpkg/texlive.tlpdb* $preprune || exit 1 |