mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-30 11:24:12 +01:00
19 lines
474 B
Bash
Executable File
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
|