TAGS tags: lib lib-src src
$(MAKE) -C src tags
-check: all
+check check-expensive: all
@if test ! -d test/automated; then \
echo "You do not seem to have the test/ directory."; \
echo "Maybe you are using a release tarfile, rather than a repository checkout."; \
else \
- $(MAKE) -C test/automated check; \
+ $(MAKE) -C test/automated $@; \
fi
dist:
$(MAKE) -C doc/$(subst -, ,$@)
.PHONY: $(DOCS) docs pdf ps
-.PHONY: info dvi dist check html info-real info-dir check-info
+.PHONY: info dvi dist check check-expensive html info-real info-dir check-info
## TODO add etc/refcards.
docs: $(DOCS)