+ @$(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)