diff options
Diffstat (limited to 'fixincludes/Makefile.in')
| -rw-r--r-- | fixincludes/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fixincludes/Makefile.in b/fixincludes/Makefile.in index 4c0e670..4e91098 100644 --- a/fixincludes/Makefile.in +++ b/fixincludes/Makefile.in @@ -184,7 +184,7 @@ install : all $(DESTDIR)$(itoolsdir)/fixincl@EXEEXT@ $(INSTALL_SCRIPT) mkheaders $(DESTDIR)$(itoolsdir)/mkheaders -.PHONY: dvi info html install-html +.PHONY: dvi pdf info html install-html dvi : pdf : |