From 2b6b513b8978ac63fd12ee7049c85fce1194a487 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 27 Aug 2018 14:44:47 +0200
Subject: [PATCH] publish docs on gh pages

---
 .travis.yml         |  3 +++
 ci/after-success.sh | 20 ++++++++++++++++++++
 2 files changed, 23 insertions(+)
 create mode 100644 ci/after-success.sh

diff --git a/.travis.yml b/.travis.yml
index 8e8aafb758..8e81e822a7 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -26,6 +26,9 @@ install:
 script:
   - bash ci/script.sh
 
+after_success:
+  - bash ci/after-success.sh
+
 after_script: set +e
 
 branches:
diff --git a/ci/after-success.sh b/ci/after-success.sh
new file mode 100644
index 0000000000..437726742e
--- /dev/null
+++ b/ci/after-success.sh
@@ -0,0 +1,20 @@
+set -euxo pipefail
+
+main() {
+    cargo doc
+
+    mkdir ghp-import
+
+    curl -Ls https://github.com/davisp/ghp-import/archive/master.tar.gz |
+        tar --strip-components 1 -C ghp-import -xz
+
+    ./ghp-import/ghp_import.py target/doc
+
+    set +x
+    git push -fq https://$GH_TOKEN@github.com/$TRAVIS_REPO_SLUG.git gh-pages && echo OK
+}
+
+# only publish on successful merges to master
+if [ $TRAVIS_BRANCH = master ] && [ $TRAVIS_PULL_REQUEST = false ] && [ $TARGET = x86_64-unknown-linux-gnu ]; then
+    main
+fi