+ $(if $(strip $(shell $(WHICH) $(GTAGS))),$(GTAGS),@$(ECHO) '$(GTAGS): not found')
+
+doc:
+ $(MAKE) -C doc base
+ $(MAKE) INSTALL
+
+INSTALL: doc/install.txt
+ $(CP) $< $@
+
+alldoc:
+ $(MAKE) -C doc all
+
+doc-inner:
+ $(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 >$@