From 3dc37c17a33dccac168d26e7eace09e46f94ae9f Mon Sep 17 00:00:00 2001
From: Nico Schottelius <nico@kr.ethz.ch>
Date: Thu, 24 Mar 2011 18:32:53 +0100
Subject: [PATCH] require gnu make for manpages

Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README b/README
index feca4bc4..389470a0 100644
--- a/README
+++ b/README
@@ -107,7 +107,7 @@ To install cdist, execute the following commands:
     cd cdist
     export PATH=$PATH:$(pwd -P)/bin
 
-    # If you want the manpages (requires asciidoc to be installed)
+    # If you want the manpages (requires gmake and asciidoc to be installed)
     make man
     export MANPATH=$MANPATH:$(pwd -P)/doc/man
 
@@ -136,7 +136,7 @@ may vanish at any point. To select a specific branch use
     git checkout -b <name> origin/<name>
     
     # Stay on a specific version
-    git checkout -b 1.3 origin/1.3
+    git checkout -b 1.4 origin/1.4
 
 ### Mirrors