--- doc/Makefile.orig	2012-09-28 03:37:35.000000000 +0200
+++ doc/Makefile	2012-10-12 21:36:56.461440175 +0200
@@ -57,7 +57,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"