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 cabc3c811ae..ca26bae32ad 100644 --- a/fixincludes/Makefile.in +++ b/fixincludes/Makefile.in @@ -180,4 +180,5 @@ install : all dvi : info : +html : installcheck : |