From 33ed2af2a7c6f90f5abb691cecce66b4382b00b0 Mon Sep 17 00:00:00 2001
From: Orivej Desh <orivej@gmx.fr>
Date: Sun, 3 Jun 2018 22:42:52 +0000
Subject: [PATCH] ninja: support cross compilation

---
 pkgs/development/tools/build-managers/ninja/default.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/pkgs/development/tools/build-managers/ninja/default.nix b/pkgs/development/tools/build-managers/ninja/default.nix
index 6f788fc5ed6c..b1df54f9bd5c 100644
--- a/pkgs/development/tools/build-managers/ninja/default.nix
+++ b/pkgs/development/tools/build-managers/ninja/default.nix
@@ -15,7 +15,9 @@ stdenv.mkDerivation rec {
 
   buildPhase = ''
     python configure.py --bootstrap
-    ./ninja manual
+    # "./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
   '';
 
   installPhase = ''