From 0f358ca5b6f1357e295020c3ed89fe877e809fd9 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Tue, 25 Sep 2012 16:11:58 -0400
Subject: [PATCH] Document that Nix requires GNU Make

Fixes #44.
---
 doc/manual/installation.xml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/doc/manual/installation.xml b/doc/manual/installation.xml
index 88f76752e2..bbcc057f1d 100644
--- a/doc/manual/installation.xml
+++ b/doc/manual/installation.xml
@@ -116,6 +116,8 @@ a source distribution.</para>
 
 <itemizedlist>
 
+  <listitem><para>GNU Make.</para></listitem>
+
   <listitem><para>A fairly recent version of GCC/G++.  Version 2.95
   and higher should work.  Clang will also work.</para></listitem>
 
@@ -217,7 +219,8 @@ $ ./configure <replaceable>options...</replaceable>
 $ make
 $ make install</screen>
 
-</para>
+Nix requires GNU Make so you may need to invoke
+<command>gmake</command> instead.</para>
 
 <para>When building from the Git repository, these should be preceded
 by the command: