1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-12-05 16:24:12 +01:00
Arduino/build/fetch.sh
2010-12-23 19:08:09 -06:00

22 lines
560 B
Bash
Executable File

#!/bin/sh
# fetch.sh
# David A. Mellis and Tom Pollard
# Script to download reference pages from Arduino website and change links
# to point to local copies of the pages.
die () { echo ERROR: $*; exit 1; }
mkdir reference || die 'unable to create reference directory'
cd reference
perl ../create_reference.pl || die 'unable to create local reference pages'
mkdir img
curl http://arduino.cc/en/pub/skins/arduinoUno/img/logo.png > img/logo.png
cd ..
zip -r shared/reference.zip reference || die 'unable to create reference.zip archive'
rm -rf reference