summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMatthias Beyer <mail@beyermatthias.de>2020-05-31 17:43:50 +0200
committerMatthias Beyer <mail@beyermatthias.de>2020-05-31 17:47:59 +0200
commitc7baf150702194b4fd33d34a493fbc0e0c0afda8 (patch)
tree684a8c1f82ced1285a0e44e53818f002eb566ddf
parentb6a9eee1ec4dd68d65c2eb041f98dad8fcba35e4 (diff)
builds: nixos: Use mdbook from nixpkgs to build book
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
-rw-r--r--.builds/nixos.yml6
1 files changed, 2 insertions, 4 deletions
diff --git a/.builds/nixos.yml b/.builds/nixos.yml
index f7537da3..e3c6394d 100644
--- a/.builds/nixos.yml
+++ b/.builds/nixos.yml
@@ -14,10 +14,8 @@ tasks:
cd imag
nix-shell ./shell.nix --run "echo nix-shell ready"
- userdoc: |
- cd imag
- nix-shell ./shell.nix --run "cargo install mdbook --force"
- cd doc/user
- ~/.cargo/bin/mdbook build
+ cd imag/doc/user
+ nix-shell -p mdbook --run "mdbook build"
- build: |
cd imag
nix-shell ./shell.nix --run "cargo build --all --all-features"