diff options
author | Matthias Beyer <mail@beyermatthias.de> | 2020-05-31 17:43:50 +0200 |
---|---|---|
committer | Matthias Beyer <mail@beyermatthias.de> | 2020-05-31 17:47:59 +0200 |
commit | c7baf150702194b4fd33d34a493fbc0e0c0afda8 (patch) | |
tree | 684a8c1f82ced1285a0e44e53818f002eb566ddf | |
parent | b6a9eee1ec4dd68d65c2eb041f98dad8fcba35e4 (diff) |
builds: nixos: Use mdbook from nixpkgs to build book
Signed-off-by: Matthias Beyer <mail@beyermatthias.de>
-rw-r--r-- | .builds/nixos.yml | 6 |
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" |