manualHTML: adopt to nixos/nixpkgs#537810

2026-07-04 12:51:44 +02:00
parent a1fa429e94
commit 320cbf535b
1 changed files with 1 additions and 2 deletions
@@ -94,8 +94,7 @@ in rec {
        --stylesheet highlightjs/mono-blue.css \
        --script ./highlightjs/highlight.pack.js \
        --script ./highlightjs/loader.js \
-        --toc-depth 1 \
+        --sidebar-depth 1 \
        --chunk-toc-depth 1 \
        ./manual.md \
        $dst/index.html