$(DESTDIR)$(itoolsdir)/fixincl@EXEEXT@
$(INSTALL_SCRIPT) mkheaders $(DESTDIR)$(itoolsdir)/mkheaders
-.PHONY: dvi info html install-html
+.PHONY: dvi pdf info html install-pdf install-info install-html
dvi :
+pdf :
info :
html :
+install-pdf :
+install-info :
install-html :
installcheck :