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