docs/mdbook: add page ToC

https://github.com/slowsage/mdbook-pagetoc
This commit is contained in:
Matt Sturgeon 2025-05-16 06:33:45 +01:00
parent ffdeb40a50
commit 2a4719f275
No known key found for this signature in database
GPG key ID: 4F91844CED1A8299
2 changed files with 5 additions and 0 deletions

View file

@ -323,6 +323,7 @@ pkgs.stdenv.mkDerivation (finalAttrs: {
buildInputs = [
pkgs.mdbook
pkgs.mdbook-alerts
pkgs.mdbook-pagetoc
];
# Build a source from the fileset containing the following paths,