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