compose/script/deploy-docs

30 lines
438 B
Plaintext
Raw Normal View History

#!/bin/bash
2014-02-24 19:35:06 +01:00
set -ex
2014-01-28 01:16:29 +01:00
script/build-docs
pushd docs/_site
export GIT_DIR=.git-gh-pages
export GIT_WORK_TREE=.
if [ ! -d "$GIT_DIR" ]; then
git init
fi
if !(git remote | grep origin); then
git remote add origin git@github.com:orchardup/fig.git
fi
2014-01-27 22:43:37 +01:00
git fetch origin
git reset --soft origin/gh-pages
echo ".git-gh-pages" > .gitignore
2014-05-09 11:59:44 +02:00
git add -A .
git commit -m "update" || echo "didn't commit"
2014-01-27 22:43:37 +01:00
git push origin master:gh-pages
popd