diff --git a/build/fetch.sh b/build/fetch.sh index 49870fc0a..a164035cc 100755 --- a/build/fetch.sh +++ b/build/fetch.sh @@ -5,12 +5,13 @@ # Script to download reference pages from Arduino website and change links # to point to local copies of the pages. A terrible hack. +REVISION=`head -1 ../todo.txt | cut -c 1-4` mkdir reference cd reference curl http://www.arduino.cc/en/Guide/HomePage -o Guide_index.html curl http://www.arduino.cc/en/Main/FAQ -o FAQ.html curl http://arduino.cc/en/Main/Environment -o environment.html -curl http://www.arduino.cc/en/Reference/HomePage -o index.html +curl http://www.arduino.cc/en/Reference/HomePage$REVISION -o index.html curl http://www.arduino.cc/en/pub/skins/arduino/arduino.css -o arduino.css for i in `grep -o "http://www.arduino.cc/en/Guide/[^']*" Guide_index.html | sort -u | grep -v '?' | cut -d '/' -f 6`; do curl http://www.arduino.cc/en/Guide/$i -o Guide_$i.html; done for i in `grep -o "http://www.arduino.cc/en/Reference/[^']*" index.html | sort -u | grep -v '?' | cut -d '/' -f 6`; do curl http://www.arduino.cc/en/Reference/$i -o $i.html; done @@ -24,4 +25,4 @@ perl -i -pe "s|HomePage.html|index.html|g" *.html perl -i -pe "s|href=\"/\"|href=\"http://www.arduino.cc/\"|g" *.html cd .. zip -r shared/reference.zip reference -#rm -rf reference +rm -rf reference diff --git a/build/shared/reference.zip b/build/shared/reference.zip index 94caa1b41..0f75417b3 100644 Binary files a/build/shared/reference.zip and b/build/shared/reference.zip differ