Use travis to build docs

ah- · Mar 1, 2018 · 60bc89c · 60bc89c
1 parent d2cbba4
commit 60bc89c
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -15,9 +15,11 @@ before_install: set -e
 
 install:
   - bash ./scripts/install.sh
+  - cargo install mdbook
 
 script:
   - make
+  - make docs
 
 cache:
   cargo: true

diff --git a/scripts/install.sh b/scripts/install.sh
diff --git a/scripts/publish-docs.sh b/scripts/publish-docs.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+
+set -euxo pipefail
+
+pushd book
+
+echo -e "Initializing Git"
+git init
+git config user.name "Andreas Heider"
+git config user.email "[email protected]"
+
+git remote add upstream "https://$GH_TOKEN@github.com/ah-/anne-key.git"
+git fetch upstream --quiet
+git reset upstream/gh-pages --quiet
+
+touch .
+
+echo -e "Pushing changes to gh-pages"
+git add -A . 
+git commit -m "rebuild pages at ${rev}" --quiet
+git push -q upstream HEAD:gh-pages --quiet
+
+echo -e "Deployed docs to GitHub Pages"
+
+popd