2016-05-28 14:40:23 +08:00
|
|
|
#!/bin/bash
|
|
|
|
|
name="Dongdong Tian"
|
|
|
|
|
mail="seisman.info@gmail.com"
|
|
|
|
|
docdir=pdf
|
|
|
|
|
pdfname=Makefile.pdf
|
|
|
|
|
|
|
|
|
|
echo "In master branch, deploying now..."
|
|
|
|
|
git config user.name "${name}"
|
|
|
|
|
git config user.email "${mail}"
|
|
|
|
|
|
|
|
|
|
# Deploy Github Pages
|
|
|
|
|
ghp-import -b gh-pages -n build/html -m 'Update by travis automatically'
|
2016-05-31 13:17:10 +08:00
|
|
|
git push "https://${GH_TOKEN}@${GH_REF}" gh-pages:gh-pages --force --quiet
|
2016-05-28 14:40:23 +08:00
|
|
|
|
|
|
|
|
# Deploy offline HTML and PDF files
|
|
|
|
|
mkdir build/${docdir} && cd build
|
|
|
|
|
cp latex/${pdfname} ${docdir}/
|
|
|
|
|
ghp-import -b ${docdir} ${docdir} -m 'Update by travis automatically'
|
2016-05-31 13:17:10 +08:00
|
|
|
git push "https://${GH_TOKEN}@${GH_REF}" ${docdir}:${docdir} --force --quiet
|
