+install-info:
+ $(MAKE) -C doc install-info
+
+uninstall-info:
+ @$(MAKE) -C doc uninstall-info
+
+install-casl2lib:
+ $(MAKE) -C as/casl2lib install-casl2lib
+
+uninstall-casl2lib:
+ @$(MAKE) -C as/casl2lib uninstall-casl2lib
+
+clean: clean-src clean-gtags clean-doc clean-doc-inner
+
+clean-src: