From 52c05718cd3fb1dd478220052a0f87a1ed423a8d Mon Sep 17 00:00:00 2001
From: Tao Tien <29749622+taotien@users.noreply.github.com>
Date: Mon, 12 Feb 2024 13:49:13 -0800
Subject: [PATCH] add mdbook

---
 extras/dev.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/extras/dev.nix b/extras/dev.nix
index d9ab1c3..e342dbe 100644
--- a/extras/dev.nix
+++ b/extras/dev.nix
@@ -43,10 +43,8 @@
 
     #rust
     bacon
-    # cargo-edit
-    # cargo-feature
-    # cargo-rr
     elf2uf2-rs
+    mdbook
     mold-wrapped
     rustup
     sccache