+ $(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 >$@
+
+gittag:
+ patch=$(PATCH); while ($(GIT) tag | $(GREP) v$(VER)p$${patch}); do patch=`$(EXPR) $${patch} + 1`; done; $(ECHO) v$(VER)p$${patch} >VERSION
+ if ($(GIT) status -s | $(GREP) VERSION); then $(GIT) add VERSION; $(GIT) commit --amend --no-edit; fi
+ $(CAT) VERSION | $(XARGS) $(GIT) tag
+
+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
+
+version-clean:
+ $(RM) $(VERSIONFILES)