From 320cbf535b80ffde6c1dbe2f80e29c791e84f494 Mon Sep 17 00:00:00 2001 From: Yifei Sun Date: Sat, 4 Jul 2026 12:51:44 +0200 Subject: [PATCH] manualHTML: adopt to nixos/nixpkgs#537810 --- doc/manual/default.nix | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/manual/default.nix b/doc/manual/default.nix index 3d0e7a4..6a8ec61 100644 --- a/doc/manual/default.nix +++ b/doc/manual/default.nix @@ -94,8 +94,7 @@ in rec { --stylesheet highlightjs/mono-blue.css \ --script ./highlightjs/highlight.pack.js \ --script ./highlightjs/loader.js \ - --toc-depth 1 \ - --chunk-toc-depth 1 \ + --sidebar-depth 1 \ ./manual.md \ $dst/index.html