Index: doc/user/Makefile
===================================================================
--- doc/user/Makefile	(revision 3b1825b3733425ee8a0becbd4c120f0a0f505f0c)
+++ doc/user/Makefile	(revision 7cccc206d90fc6c9b9dc1b71a8adf6ae30b1adbe)
@@ -79,5 +79,5 @@
 ## Define the default recipes.
 
-${Build}:
+${Build} :
 	mkdir -p ${Build}