1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-29 10:24:12 +01:00
Arduino/build/fetch.sh

22 lines
564 B
Bash
Raw Normal View History

#!/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://www.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