From 49e6820eae9a5bd4bf99882f8dcd5207080b85df Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20Heredero?= <remi@heredero.ch>
Date: Mon, 12 Oct 2026 14:05:28 +0200
Subject: [PATCH] feat(cs): add tools section

---
 .gitignore        | 2 +-
 site/calepin.toml | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index a732407..52652cb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,6 @@
 # Generated site and pinned toolchain
 public/
-tools/
+/tools/
 
 # Calepin build artifacts
 .calepin/
diff --git a/site/calepin.toml b/site/calepin.toml
index a01f9d7..0d1a17a 100644
--- a/site/calepin.toml
+++ b/site/calepin.toml
@@ -63,6 +63,10 @@ item = [
     { target = "cs/index.typ" },
     { glob = "cs/*" }
 ]
+section = [
+    { title = "Tools", item = [{ glob = "cs/tools/*.typ" }] }
+]
+
 
 
 [[sidebar.section]]