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