--- doc/Makefile.orig	2012-10-13 10:22:27.000000000 +0200
+++ doc/Makefile	2012-10-13 10:56:02.141525689 +0200
@@ -58,7 +58,7 @@
 install-man:
 
 ifdef CONFIG_MANPAGES
-install-progs-$(CONFIG_DOC): install-man
+#install-progs-$(CONFIG_DOC): install-man
 
 install-man: $(MANPAGES)
 	$(Q)mkdir -p "$(MANDIR)/man1"
