Index: Makefile.in
===================================================================
diff -u -rf4a2049dfa560bdfec1ff3ae5626718013194f27 -rf605bf5d9152f181303d22a725f16ad09b3a2cc5
--- Makefile.in	(.../Makefile.in)	(revision f4a2049dfa560bdfec1ff3ae5626718013194f27)
+++ Makefile.in	(.../Makefile.in)	(revision f605bf5d9152f181303d22a725f16ad09b3a2cc5)
@@ -467,7 +467,7 @@
 # directory.
 #========================================================================
 
-install-doc: doc $(DESTDIR)$(mandir)/man1 $(DESTDIR)$(mandir)/man3 $(DESTDIR)$(mandir)/mann
+install-doc: $(DESTDIR)$(mandir)/man1 $(DESTDIR)$(mandir)/man3 $(DESTDIR)$(mandir)/mann
 	(cd $(src_man_dir)/ ; \
 	 for i in *.1; do \
 	    echo "Installing $$i"; \