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