#!/bin/bash rm -r -f .gh-pages mkdir .gh-pages cd .gh-pages git init cp -r ../target/doc/* . cat < index.html pencil EOF git add -f --all . git commit -m "Added docs" git remote add origin git@github.com:fengsp/pencil.git git push -f origin master:gh-pages cd .. rm -r -f .gh-pages