+ $(MAKE) -C doc_inner all
+
+check:
+ $(MAKE) -sC test/system
+
+install: casl2 comet2 dumpword install-info install-casl2lib
+ $(INSTALL) -d $(bindir)
+ $(INSTALL) $(CMD) $(bindir)/
+
+uninstall: uninstall-info uninstall-casl2lib
+ $(RM) $(prefix $(bindir)/,$(CMD))
+
+version: $(VERSIONFILES)
+ @$(ECHO) "YACASL2 Version: $(VERSION)"
+
+$(VERSIONFILES): VERSION
+ @$(SED) -e "s/@@VERSION@@/$(VERSION)/g" $@.version >$@