manualHTML: adopt to nixos/nixpkgs#537810 (#1818)

This commit is contained in:
Sam 2026-07-07 01:06:54 +00:00 committed by GitHub
commit 08920bcfd1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -94,8 +94,7 @@ in rec {
--stylesheet highlightjs/mono-blue.css \ --stylesheet highlightjs/mono-blue.css \
--script ./highlightjs/highlight.pack.js \ --script ./highlightjs/highlight.pack.js \
--script ./highlightjs/loader.js \ --script ./highlightjs/loader.js \
--toc-depth 1 \ --sidebar-depth 1 \
--chunk-toc-depth 1 \
./manual.md \ ./manual.md \
$dst/index.html $dst/index.html