1*6a3cd13eSBruce A. Mah#!/bin/sh 2*6a3cd13eSBruce A. Mah 3*6a3cd13eSBruce A. MahGIT_URL=`git remote show origin | awk '/Push URL/ { print $NF }'` 4*6a3cd13eSBruce A. MahDEPLOY_DIR=/tmp/deploy.$$ 5*6a3cd13eSBruce A. Mahmkdir ${DEPLOY_DIR} 6*6a3cd13eSBruce A. Mah(cd ${DEPLOY_DIR} ; \ 7*6a3cd13eSBruce A. Mah git clone ${GIT_URL} . \ 8*6a3cd13eSBruce A. Mah && git checkout gh-pages \ 9*6a3cd13eSBruce A. Mah && git rm -rf . 10*6a3cd13eSBruce A. Mah) 11*6a3cd13eSBruce A. Mahcp -r _build/html/* ${DEPLOY_DIR} 12*6a3cd13eSBruce A. Mahtouch ${DEPLOY_DIR}/.nojekyll 13*6a3cd13eSBruce A. Mah(cd ${DEPLOY_DIR} ; \ 14*6a3cd13eSBruce A. Mah git add .nojekyll * \ 15*6a3cd13eSBruce A. Mah && git commit -m "deploy" \ 16*6a3cd13eSBruce A. Mah && git push) 17*6a3cd13eSBruce A. Mah 18*6a3cd13eSBruce A. Mahrm -rf ${DEPLOY_DIR} 19