diff options
author | Evan Shelhamer <shelhamer@imaginarynumber.net> | 2014-02-26 20:52:08 -0800 |
---|---|---|
committer | Evan Shelhamer <shelhamer@imaginarynumber.net> | 2014-02-26 20:52:08 -0800 |
commit | 812bc018571ab084184ed9819eca5832d5e15e74 (patch) | |
tree | d6f61519675822a09941dbf5a6632e42d6517a09 /scripts | |
parent | 93806dd5cee290c4944c87e0327bc6ae79e8b570 (diff) | |
download | caffeonacl-812bc018571ab084184ed9819eca5832d5e15e74.tar.gz caffeonacl-812bc018571ab084184ed9819eca5832d5e15e74.tar.bz2 caffeonacl-812bc018571ab084184ed9819eca5832d5e15e74.zip |
polish doc build and deploy and allow other remotes
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build_and_deploy_docs.sh | 37 |
1 files changed, 24 insertions, 13 deletions
diff --git a/scripts/build_and_deploy_docs.sh b/scripts/build_and_deploy_docs.sh index 83b79b26..85121b6e 100755 --- a/scripts/build_and_deploy_docs.sh +++ b/scripts/build_and_deploy_docs.sh @@ -1,37 +1,48 @@ -echo "The remote from which you will submit the PR to BVLC:gh-pages must be called 'origin'" +#!/usr/bin/env sh +# Publish/ Pull-request documentation to the gh-pages site. + +# The remote for pushing the docs (defaults to origin). +# This is where you will submit the PR to BVLC:gh-pages from. +REMOTE=${1:-origin} + +echo "Generating docs and pushing to $REMOTE:gh-pages..." echo "To build and view docs when not on master, simply do 'jekyll serve -s docs'." echo -ORIGIN=`git config --get remote.origin.url` +REMOTE_URL=`git config --get remote.${REMOTE}.url` BRANCH=`git rev-parse --abbrev-ref HEAD` MSG=`git log --oneline -1` -if [ $BRANCH = 'master' ]; then +if [[ $BRANCH = 'master' ]]; then + # Find the docs dir, no matter where the script is called + DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" + DOCS_SITE_DIR=$DIR/../docs/_site + # Make sure that docs/_site tracks remote:gh-pages. # If not, then we make a new repo and check out just that branch. - mkdir docs/_site - cd docs/_site - SITE_ORIGIN=`git config --get remote.origin.url` + mkdir -p $DOCS_SITE_DIR + cd $DOCS_SITE_DIR + SITE_REMOTE_URL=`git config --get remote.${REMOTE}.url` SITE_BRANCH=`git rev-parse --abbrev-ref HEAD` - echo $SITE_ORIGIN + echo $SITE_REMOTE_URL echo $SITE_BRANCH echo `pwd` - if [[ ( $SITE_ORIGIN == $ORIGIN ) && ( $SITE_BRANCH = 'gh-pages' ) ]]; then - echo "Confirmed that docs/_site has same origin as main repo, and is on gh-pages." + if [[ ( $SITE_REMOTE_URL = $REMOTE_URL ) && ( $SITE_BRANCH = 'gh-pages' ) ]]; then + echo "Confirmed that docs/_site has same remote as main repo, and is on gh-pages." else - echo "Checking out origin:gh-pages into docs/_site (will take a little time)." + echo "Checking out $REMOTE:gh-pages into docs/_site (will take a little time)." git init . - git remote add -t gh-pages -f origin $ORIGIN - git co gh-pages + git remote add -t gh-pages -f $REMOTE $REMOTE_URL + git checkout gh-pages fi echo "Building the site into docs/_site, and committing the changes." jekyll build -s .. -d . git add --all . git commit -m "$MSG" - git push origin gh-pages + git push $REMOTE gh-pages echo "All done!" cd ../.. |