+ $(MAKE) -sC test/system
+
+smoke:
+ $(MAKE) -sC test/system smoke
+
+smoke-valgrind:
+ $(MAKE) -sC test/system smoke-valgrind
+
+valgrind:
+ $(MAKE) -sC test/system valgrind
+
+install: casl2 comet2 dumpword install-info
+ $(INSTALL) -d $(bindir)
+ $(INSTALL) $(CMD) $(bindir)/
+
+install-info:
+ $(MAKE) -C doc install-info
+
+uninstall: uninstall-info
+ $(RM) $(prefix $(bindir)/,$(CMD))
+
+version: $(VERSIONFILES)
+ @$(ECHO) "YACASL2 Version: $(VERSION)"
+
+$(VERSIONFILES): VERSION
+ @$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@
+
+gittag:
+ if test `$(GIT) status -s | $(WC) -l` -gt 0; then $(ECHO) "Error: commit, first."; exit 1; fi; if test "$(VERSIONGITREF)" != "$(MASTERGITREF)"; then $(GIT) tag $(VERSION); fi
+
+distclean: cmd-clean src-distclean gtags-clean version-clean clean
+
+clean: src-clean doc-clean doc_inner-clean
+
+cmd-clean:
+ $(RM) $(CMD)
+
+src-clean:
+ $(MAKE) -sC src clean
+
+src-distclean:
+ $(MAKE) -sC src distclean
+
+gtags-clean:
+ $(RM) GPATH GRTAGS GSYMS GTAGS
+
+doc-clean:
+ $(MAKE) -sC doc clean
+
+doc_inner-clean:
+ $(MAKE) -sC doc_inner clean