+install: all $(INSTALL_PROGS) install-doc
+
+install-doc: doc
+ $(if $(DOCS),\
+ set -e\
+ $(foreach s,$(MAN_SECTIONS),\
+ $(foreach m,$(filter %.$(s),$(DOCS)),\
+ ; install -d $(DESTDIR)$(prefix)/share/man/man$(s)/ \
+ ; install $(m) $(DESTDIR)$(prefix)/share/man/man$(s)/ \
+ )))
+ $(if $(DOCS_HTML),install $(DOCS_HTML) $(DESTDIR)$(prefix)/share/doc/pfixtools)