SUMMARY: add "Tools" category

This new category is intended for tools and toolchains (such as Coccinelle for Rust and `rustc_codegen_gcc`) that will have their own subpages. Signed-off-by: Miguel Ojeda <[email protected]>
Rust-for-Linux · Nov 3, 2023 · 88605ef · 88605ef
1 parent 75334f9
commit 88605ef
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/SUMMARY.md b/SUMMARY.md
@@ -20,6 +20,8 @@
   - Hidden [The Safe Pinned Initialization Problem](The-Safe-Pinned-Initialization-Problem.md)
   - Hidden [Ksquirrel](Ksquirrel.md)
 
+## Tools
+
 ## Users
 
   - [NVMe Driver](NVMe-driver.md)