--- docs/Makefile.in.orig	2009-08-27 16:33:21.000000000 +0200
+++ docs/Makefile.in	2009-08-27 16:33:21.000000000 +0200
@@ -451,7 +451,7 @@ uninstall-am:
 
 
 all : all-am default
-default : doc @MAINTAINER_MODE_FALSE@ mans
+default : @MAINTAINER_MODE_FALSE@ mans
 clean-doc clean-docs : clean-unpack
 	- rm $(DISTCLEANFILES) 
 	- rm $(MAINTAINERCLEANFILES)