diff options
Diffstat (limited to 'fixincludes/Makefile.in')
| -rw-r--r-- | fixincludes/Makefile.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/fixincludes/Makefile.in b/fixincludes/Makefile.in index 4e910987541..8e4ffe4cb71 100644 --- a/fixincludes/Makefile.in +++ b/fixincludes/Makefile.in @@ -184,11 +184,13 @@ install : all $(DESTDIR)$(itoolsdir)/fixincl@EXEEXT@ $(INSTALL_SCRIPT) mkheaders $(DESTDIR)$(itoolsdir)/mkheaders -.PHONY: dvi pdf 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 : |