+.PHONY: all build gtags check doc info html doc-inner install uninstall install-info uninstall-info install-casl2lib uninstall-casl2lib version gittag clean clean-src clean-gtags clean-test clean-doc clean-doc-inner
+
+GTAGS := gtags
+RMF := rm -f
+WHICH := which
+ECHO := echo
+INSTALL := install
+SED := sed
+CAT := cat
+XARGS := xargs
+GITTAG := git tag
+
+prefix ?= ~
+bindir ?= $(prefix)/bin
+
+VERSIONFILES = include/package.h test/system/casl2/opt_v/0.txt test/system/comet2/opt_v/0.txt test/system/dumpword/opt_v/0.txt
+
+all: build docall gtags