$(INSTALL_DATA) -m 644 $(TARGETS_DOC_PS) $(docdir)/.
$(INSTALL_DATA) -m 644 spec.html/*.html $(docdir)/spec.html/.
$(INSTALL_DATA) -m 644 $(MAN1PAGES) $(man1dir)
$(INSTALL_DATA) -m 644 $(TARGETS_DOC_PS) $(docdir)/.
$(INSTALL_DATA) -m 644 spec.html/*.html $(docdir)/spec.html/.
$(INSTALL_DATA) -m 644 $(MAN1PAGES) $(man1dir)