https://github.com/szaghi/FLAP
Revision e9388c1f2d42dd8b1bed471eb3d2461db0b0fcc6 authored by Stefano Zaghi on 01 July 2015, 12:13:40 UTC, committed by Stefano Zaghi on 01 July 2015, 12:13:40 UTC
1 parent f55d1b9
Tip revision: e9388c1f2d42dd8b1bed471eb3d2461db0b0fcc6 authored by Stefano Zaghi on 01 July 2015, 12:13:40 UTC
Merge manually PR#42 from zaak
Merge manually PR#42 from zaak
Tip revision: e9388c1
makedoc.sh
#!/bin/bash
GITREPO=$1
FoBiS.py rule -ex makedoc
if [[ "${TRAVIS}" = "true" && "${TRAVIS_PULL_REQUEST}" != "false" ]]; then
# Running under travis during a PR. No access to GH_TOKEN so abort
# documentation deployment, without throwing an error
exit 0
else
# either we are not on TRAVIS and maybe you want to manually dpeloy documentation
# or we are on TRAVIS but not testing a PR so it is safe to deploy documentation
git config --global user.name "Stefano Zaghi"
git config --global user.email "stefano.zaghi@gmail.com"
git clone --branch=gh-pages https://${GH_TOKEN}@github.com/szaghi/$GITREPO doc/html
cd doc/html
git add -f --all *
git commit -m "Travis CI autocommit from travis build ${TRAVIS_BUILD_NUMBER}"
git push -f origin gh-pages
fi
Computing file changes ...
