diff options
-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" |