Update doxy_gen_and_deploy.sh

This commit is contained in:
Limor "Ladyada" Fried 2018-01-21 21:31:21 -05:00 committed by GitHub
parent f67ea9f815
commit 4108b64d6c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -87,7 +87,8 @@ echo "" > .nojekyll
echo 'Generating Doxygen code documentation...' echo 'Generating Doxygen code documentation...'
# Redirect both stderr and stdout to the log file AND the console. # Redirect both stderr and stdout to the log file AND the console.
if [ ! -f "$DOXYFILE" ]; then if [ ! -f ${DOXYFILE} ]; then
echo "Grabbing default Doxyfile"
export DOXYFILE=${TRAVIS_BUILD_DIR}/Doxyfile export DOXYFILE=${TRAVIS_BUILD_DIR}/Doxyfile
curl -SLs https://raw.githubusercontent.com/adafruit/travis-ci-arduino/master/Doxyfile.default > ${DOXYFILE} curl -SLs https://raw.githubusercontent.com/adafruit/travis-ci-arduino/master/Doxyfile.default > ${DOXYFILE}
@ -149,4 +150,4 @@ else
echo 'Warning: No documentation (html) files have been found!' >&2 echo 'Warning: No documentation (html) files have been found!' >&2
echo 'Warning: Not going to push the documentation to GitHub!' >&2 echo 'Warning: Not going to push the documentation to GitHub!' >&2
exit 1 exit 1
fi fi