diff --git a/build/windows/dist.sh b/build/windows/dist.sh index 8c0b15b6d..c1c89613e 100755 --- a/build/windows/dist.sh +++ b/build/windows/dist.sh @@ -32,6 +32,12 @@ rm dist/examples.zip rm -rf dist cd .. +# extract reference +cd arduino +unzip reference.zip +rm reference.zip +cd .. + # add java (jre) files unzip -q -d arduino jre.zip diff --git a/build/windows/launcher/arduino.exe b/build/windows/launcher/arduino.exe index 984b084bd..e6bca80ae 100644 Binary files a/build/windows/launcher/arduino.exe and b/build/windows/launcher/arduino.exe differ diff --git a/build/windows/make.sh b/build/windows/make.sh index 1db9f34c8..34e6d5e56 100755 --- a/build/windows/make.sh +++ b/build/windows/make.sh @@ -20,24 +20,17 @@ else mkdir -p work/classes/arduino/app/syntax mkdir -p work/classes/arduino/app/tools -# echo Extracting examples... - # cd work - #unzip -q examples.zip - # rm examples.zip - # cd .. - echo Extracting reference... -# cd work -# unzip -q reference.zip + cd work + unzip reference.zip # necessary for launching reference from shell/command prompt # which is done internally to view reference #chmod +x reference/*.html # needed by 'help' menu #chmod +x reference/environment/*.html # chmod -R +x *.html doesn't seem to work - -# rm reference.zip - # cd .. + rm reference.zip + cd .. echo Extracting enormous JRE... unzip -q -d work jre.zip