diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2019-08-09 19:17:45 +0200 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2019-09-01 13:37:05 +0200 |
commit | db3bb95227ae1a182ad2b2bc302dfb2a2dc70f1a (patch) | |
tree | 1706de8fc7c3773ad22556191f6f7297848bb277 /.travis.yml | |
parent | 74810d9ccc5b41eb41f3d8121ccd9c02634a1455 (diff) |
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>
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 8ca0083b..d8c711ef 100644 --- a/.travis.yml +++ b/.travis.yml @@ -16,6 +16,18 @@ matrix: - 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: directories: |