1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
#!/bin/bash
# Publish 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
REMOTE_URL=`git config --get remote.${REMOTE}.url`
BRANCH=`git rev-parse --abbrev-ref HEAD`
MSG=`git log --oneline -1`
if [[ $BRANCH = 'master' ]]; then
# Find the docs dir, no matter where the script is called
DIR="$( cd "$(dirname "$0")" ; pwd -P )"
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 -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_REMOTE_URL
echo $SITE_BRANCH
echo `pwd`
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 $REMOTE:gh-pages into docs/_site (will take a little time)."
git init .
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 $REMOTE gh-pages
echo "All done!"
cd ../..
else echo "You must run this deployment script from the 'master' branch."
fi
|
