--- makefile.orig	2015-03-23 23:00:00 UTC
+++ makefile
@@ -30,7 +30,7 @@ clean:
 	sh ./makemined clean
 
 manual:
-	cd man; make
+	cd man  && $(MAKE)
 
 VER=$(shell sed -e 's,^[^0-9]*,,' -e 's,[^0-9][^0-9]*,.,g' -e q VERSION )
 UNIVER=$(shell sed -e '/^\# Blocks-/ b ver' -e d -e ': ver' -e 's,^[^0-9]*\([0-9].*[0-9]\).*,\1,g' -e 's,\.0$$,,' src/Blocks.txt )