diff --git a/pkgs/development/tools/build-managers/ninja/default.nix b/pkgs/development/tools/build-managers/ninja/default.nix index e1637e2f2ca..bb08ae2f3af 100644 --- a/pkgs/development/tools/build-managers/ninja/default.nix +++ b/pkgs/development/tools/build-managers/ninja/default.nix @@ -17,8 +17,8 @@ stdenv.mkDerivation rec { buildPhase = '' python configure.py --bootstrap - # "./ninja -vn manual" output copied here to support cross compilation. '' + optionalString buildDocs '' + # "./ninja -vn manual" output copied here to support cross compilation. asciidoc -b docbook -d book -o build/manual.xml doc/manual.asciidoc xsltproc --nonet doc/docbook.xsl build/manual.xml > doc/manual.html '';