From 88605eff12b458ae34127eb25c20ad7416a70227 Mon Sep 17 00:00:00 2001 From: Miguel Ojeda Date: Thu, 2 Nov 2023 21:40:20 +0100 Subject: [PATCH] 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 --- SUMMARY.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/SUMMARY.md b/SUMMARY.md index de20683..fe418fe 100644 --- 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)