feat: add Travis CI auto-deploy script for GitHub Pages documentation

2018-07-13 14:46:46 +00:00
parent 6ed29286b3 86433049eb
commit 0ae4fd93d4
3 changed files with 35 additions and 1 deletions
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+set -e
+
+make gh-pages
+
+git clone https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG} gh-pages-repo
+cd gh-pages-repo
+git checkout gh-pages
+
+rm -rf *
+cp -r ../build/gh-pages/* .
+
+git status
+ls 
+
+if ! $( git diff-index --quiet HEAD ) ; then
+	git config user.name "Travis CI"
+	git config user.email "$COMMIT_AUTHOR_EMAIL"
+	git add -A .
+	git commit -m "Deploy to GitHub Pages: ${SHA}"
+	git push 
+fi