diff options
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 |