set -e

echo "Removing old local ./doc dir..."

rm -rf ./doc

echo "Pulling from GitHub..."

mkdir -p doc

cd doc

git init

if ! git remote | grep origin; then

git remote add origin git@github.com:code-corps/code-corps-api-github-pages.git

git fetch

git checkout gh-pages

cd ..

echo "Generating docs..."

mix docs

echo "Checking GitHub..."

cd doc

git add .

if git diff-index --quiet HEAD;

echo "Nothing to update."

echo "Pushing to GitHub..."

git commit -m "Update docs"

git push -u origin gh-pages:gh-pages --force

exit 0