diff options
Diffstat (limited to 'doc/default.nix')
-rw-r--r-- | doc/default.nix | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/doc/default.nix b/doc/default.nix index 971c60b35c2..d9051167dee 100644 --- a/doc/default.nix +++ b/doc/default.nix @@ -9,21 +9,6 @@ in pkgs.stdenv.mkDerivation { src = ./.; - # Hacking on these variables? Make sure to close and open - # nix-shell between each test, maybe even: - # $ nix-shell --run "make clean all" - # otherwise they won't reapply :) - xsltFlags = lib.concatStringsSep " " [ - "--param section.autolabel 1" - "--param section.label.includes.component.label 1" - "--stringparam html.stylesheet 'style.css overrides.css highlightjs/mono-blue.css'" - "--stringparam html.script './highlightjs/highlight.pack.js ./highlightjs/loader.js'" - "--param xref.with.number.and.title 1" - "--param toc.section.depth 3" - "--stringparam admon.style ''" - "--stringparam callout.graphics.extension .svg" - ]; - postPatch = '' ln -s ${doc-support} ./doc-support/result ''; |