From 06c63123ccfbe3fa21b74819050281c6394ae6eb Mon Sep 17 00:00:00 2001 From: Orivej Desh Date: Sat, 15 Sep 2018 22:36:21 +0000 Subject: [PATCH] Fix comment location after #46704 --- pkgs/development/tools/build-managers/ninja/default.nix | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 '';