Browse Source

add mdbook to the devshell

merge-requests/582/head
Charles Hall 2 years ago
parent
commit
68a33862b3
No known key found for this signature in database
GPG Key ID: 7B8E0645816E07CF
  1. 3
      flake.nix

3
flake.nix

@ -307,6 +307,9 @@
# Needed for finding broken markdown links
lychee
# Useful for editing the book locally
mdbook
]);
};
});

Loading…
Cancel
Save