Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 27258829bc7b31512d549c8678b4e54c47b02cf4)
+++ doc/user/Makefile	(revision 451ccd540bc41c65e9efe0fca129ed4fb26c3bdd)
@@ -79,5 +79,5 @@
 ## Define the default recipes.
 
-${Build}:
+${Build} :
 	mkdir -p ${Build}