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