*** Makefile.in	2009-04-01 22:45:45.000000000 +0000
--- Makefile.in-	2011-01-06 01:12:26.000000000 +0000
***************
*** 224,237 ****
  # directory.
  #========================================================================
  
  install-doc: doc
- 	@mkdir -p $(DESTDIR)$(mandir)/mann
- 	@echo "Installing documentation in $(DESTDIR)$(mandir)"
- 	@list='$(srcdir)/doc/*.n'; for i in $$list; do \
- 	    echo "Installing $$i"; \
- 	    rm -f $(DESTDIR)$(mandir)/mann/`basename $$i`; \
- 	    $(INSTALL_DATA) $$i $(DESTDIR)$(mandir)/mann ; \
- 	done
  
  # Piping to cat is necessary on Windows to see the output, and
  # harmless on Unix
--- 224,231 ----
  # directory.
  #========================================================================
  
+ # no-op target as package has no manual pages
  install-doc: doc
  
  # Piping to cat is necessary on Windows to see the output, and
  # harmless on Unix