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