diff options
Diffstat (limited to 'Build/tools/MakeImages.sh')
-rwxr-xr-x | Build/tools/MakeImages.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Build/tools/MakeImages.sh b/Build/tools/MakeImages.sh index 35d1ca7a765..6ab6d6bea03 100755 --- a/Build/tools/MakeImages.sh +++ b/Build/tools/MakeImages.sh @@ -99,10 +99,8 @@ echo "--- `date` Writing complete live image to $live_iso." rm -f $target/$NAME$V-live-*.iso $target/$NAME$V-live-*.iso.md5 rm -f $target/$NAME$V-live-*.iso.bz2 $target/$NAME$V-live-*.iso.bz2.md5 - # make new image, excluding the compressed stuff and more, - # and moving everything to a texlive/ subdirectory, - # since that's how we release it on the DVD. - mkisofs $common_mkisofs_options -root texlive -x 00INST.TL \ + # make new image, excluding the compressed stuff and more. + mkisofs $common_mkisofs_options -x 00INST.TL \ -o $live_iso . (cd $target && md5sum `basename $live_iso`) >$live_iso.md5 |