diff options
| author | Karl Berry <karl@freefriends.org> | 2018-04-11 21:42:33 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2018-04-11 21:42:33 +0000 |
| commit | b38c77d4660aa351cb1ec83bc96a1eccdcad3d0b (patch) | |
| tree | f2512893452b04a447e068d45b52620e554b918c | |
| parent | 2ae65e96bea60a55c38b35540a08da34a6bf5813 (diff) | |
(MAKEINST): save all tlpdb files in /tmp/pruneimg.pre.
git-svn-id: svn://tug.org/texlive/trunk@47451 c570f23f-e606-0410-a88d-b1316a301751
| -rwxr-xr-x | Master/tlpkg/bin/tl-update-images | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-images b/Master/tlpkg/bin/tl-update-images index c5737703f69..a373573b2bf 100755 --- a/Master/tlpkg/bin/tl-update-images +++ b/Master/tlpkg/bin/tl-update-images @@ -112,7 +112,7 @@ MAKEINST () # Save all tlpdb files before pruning platforms. preprune=/tmp/pruneimg.pre rm -rf $preprune && mkdir $preprune - cp -r tlpkg/texlive.tlpdb $preprune || exit 1 + cp -p tlpkg/texlive.tlpdb* $preprune || exit 1 # remove platforms to save space on the dvd. # do this here so that they can be kept in the tree, |