[doc] Publish book to gh-pages

diff --git a/.travis.yml b/.travis.yml
index 404d328045852535dc0792e21decb0572218d1c3..b925208bc5146cdd72bcf148df1aee0a3bb9379e 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -21,6 +21,8 @@ matrix:
     - env: TARGET=x86_64-unknown-linux-gnu
            ALT=i686-unknown-linux-gnu
       rust: nightly
+      install:
+        - cargo install mdbook
       script:
         - cargo test
         - cargo doc --no-deps
@@ -31,7 +33,7 @@ matrix:
         [ $(uname -s) = Linux ] &&
         pip install ghp-import --user &&
         $HOME/.local/bin/ghp-import -n target/doc &&
-        git push -qf https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages 2>&1 > /dev/null
+        git push -qf https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG}.git gh-pages 2>&1 >/dev/null
 
   exclude:
     - rust: stable

diff --git a/src/ci/dox.sh b/src/ci/dox.sh
index 5f65a31ad7e1607cbda5fe694485f7c46978e294..c9417044fd15c355826abc795753d619954292f8 100644 (file)
--- a/src/ci/dox.sh
+++ b/src/ci/dox.sh
@@ -26,3 +26,8 @@ for doc in $DOCS; do
     -o target/doc \
     src/doc/$doc.md
 done
+
+# Temporary preview for mdBook docs
+cd src/doc/book
+$HOME/.cargo/bin/mdbook build --no-create --dest-dir ../../../target/doc/book
+cd ../../../