From 510559f233a030577169535c4ee75dfd7d5d3b3a Mon Sep 17 00:00:00 2001 From: "David A. Mellis" Date: Sun, 12 Feb 2006 16:02:52 +0000 Subject: [PATCH] Now grabbing howto with fetch.sh. --- build/fetch.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/build/fetch.sh b/build/fetch.sh index c947b87e4..4770f3a3d 100755 --- a/build/fetch.sh +++ b/build/fetch.sh @@ -1,3 +1,4 @@ +curl http://arduino.berlios.de/index.php/Main/Howto -o howto.html curl http://arduino.berlios.de/index.php/Reference/HomePage -o index.html curl http://arduino.berlios.de/pub/skins/arduino/arduino.css -o arduino.css for i in `grep -o "http://arduino.berlios.de/index.php/Reference/[^']*" index.html | sort -u | grep -v '?' | cut -d '/' -f 6`; do curl http://arduino.berlios.de/index.php/Reference/$i -o $i.html; done