diff options
Diffstat (limited to 'fixincludes/Makefile.in')
| -rw-r--r-- | fixincludes/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/fixincludes/Makefile.in b/fixincludes/Makefile.in index 07cfa7338d1..4c0e6708382 100644 --- a/fixincludes/Makefile.in +++ b/fixincludes/Makefile.in @@ -187,6 +187,7 @@ install : all .PHONY: dvi info html install-html dvi : +pdf : info : html : install-html : |