Move docs to master branch

- build with script/build-docs
- deploy with script/deploy-docs
This commit is contained in:
Aanand Prasad 2014-01-27 11:42:38 +00:00
commit f60621ee1b
14 changed files with 588 additions and 1 deletions

5
script/build-docs Executable file
View file

@ -0,0 +1,5 @@
#!/bin/bash
pushd docs
fig run jekyll jekyll build
popd

29
script/deploy-docs Executable file
View file

@ -0,0 +1,29 @@
#!/bin/bash
set -ex
pushd docs
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
cp .gitignore-gh-pages .gitignore
echo ".git-gh-pages" >> .gitignore
git add -u
git add .
git commit -m "update" || echo "didn't commit"
git push -f origin master:gh-pages
rm .gitignore
popd