diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index fdaa63a9ec2..55c75717115 100644 --- a/Makefile.in +++ b/Makefile.in @@ -929,7 +929,7 @@ have-tests: exit 1; \ fi -check check-maybe: have-tests all +check check-maybe check-expensive: have-tests all $(MAKE) -C test $@ dist: @@ -946,7 +946,7 @@ $(DOCS): $(MAKE) -C doc/$(subst -, ,$@) .PHONY: $(DOCS) docs pdf ps -.PHONY: info dvi dist check check-maybe html info-real info-dir check-info +.PHONY: info dvi dist check check-maybe check-expensive html info-real info-dir check-info ## TODO add etc/refcards. docs: $(DOCS) |