From db3bb95227ae1a182ad2b2bc302dfb2a2dc70f1a Mon Sep 17 00:00:00 2001
From: Matthias Beyer <mail@beyermatthias.de>
Date: Fri, 9 Aug 2019 19:17:45 +0200
Subject: Add user documentation

This patch adds user documentation in for of a mdbook, using a travis
job for running the build of the book in CI to be sure it builds
properly.

Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
---
 .travis.yml | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index 8ca0083b..d8c711ef 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,6 +15,18 @@ matrix:
             - bash ./scripts/license-headers-updated
             - bash ./scripts/branch-contains-no-tmp-commits
             - bash ./scripts/version-updated
+        - language: rust
+          rust: stable
+          name: userdoc
+          cache:
+            directories:
+              - /home/travis/.cargo
+          before_cache:
+            - rm -rf /home/travis/.cargo/registry
+          install:
+            - cargo install mdbook --force
+          script:
+            - cd doc/user && mdbook build || exit 1
         - language: rust
           rust: 1.35.0
           cache:
-- 
cgit v1.2.3