+ @$(WHICH) $(GTAGS) >/dev/null && $(GTAGS) || $(ECHO) "$(GTAGS): not found"
+
+docall: doc
+ $(MAKE) -C doc all
+
+info:
+ $(MAKE) -C doc info
+
+html:
+ $(MAKE) -C doc html
+
+doc-inner:
+ $(MAKE) -C doc_inner all
+
+check:
+ $(MAKE) -sC test/system
+
+install: casl2 comet2 dumpword install-info install-casl2lib
+ $(INSTALL) -d $(bindir)
+ $(INSTALL) casl2 comet2 dumpword $(bindir)/
+
+uninstall: uninstall-info uninstall-casl2lib
+ $(RMF) $(bindir)/casl2 $(bindir)/comet2 $(bindir)/dumpword