diff options
-rwxr-xr-x | Build/tools/MakeImages.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Build/tools/MakeImages.sh b/Build/tools/MakeImages.sh index c4a78be54db..c7e9e4865bc 100755 --- a/Build/tools/MakeImages.sh +++ b/Build/tools/MakeImages.sh @@ -134,7 +134,6 @@ mkdir -p $WORK # we need at least gs, dviout and unzip from support (staw) $debug && echo " makeinst: copy top-level files..." -setup_files=`ls setuptl/* | fgrep -v x86_64` # no use in x86_64 binaries cd $master || exit 1 tar cf - \ .mkisofsrc config.* autorun.inf \ @@ -142,7 +141,7 @@ tar cf - \ COPYING \ LICENSE.TL \ README.* \ - $setup_files \ + setuptl/* \ support/gs854w32-tl.zip \ support/tex318w.zip \ support/unzip.exe \ |