From ce774540636b854c3753e0ac142e56c063c6aa8d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=D0=A1=D1=83=D1=85=D0=B0=D1=80=D0=B8=D0=BA?=
 <65870+suhr@users.noreply.github.com>
Date: Sun, 14 Jun 2026 07:01:08 +0300
Subject: [PATCH] Set htmlDepth := 1

---
 BookGenMain.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/BookGenMain.lean b/BookGenMain.lean
index 8917b39..9844e41 100644
--- a/BookGenMain.lean
+++ b/BookGenMain.lean
@@ -84,6 +84,6 @@ def config : RenderConfig where
   emitTeX := false
   emitHtmlSingle := .no
   emitHtmlMulti := .immediately
-  htmlDepth := 2
+  htmlDepth := 1
 
 def main := manualMain (%doc IrisTutorialBook) (extraSteps := [buildExercises]) (config := config)