TAGS tags: lib lib-src src
$(MAKE) -C src tags
+
+check-maybe: all
+ @if test ! -d test; 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 check-maybe; \
+ fi
+
check: all
@if test ! -d test; then \
echo "You do not seem to have the test/ directory."; \
$(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-maybe html info-real info-dir check-info
## TODO add etc/refcards.
docs: $(DOCS)