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

19 lines
474 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'
cd ..
zip -r shared/reference.zip reference || die 'unable to create reference.zip archive'
rm -rf reference