INSTALL-INFO-TARGETS := yacasl2.info
.PHONY: base all info html htmls pdf casl2_spec distclean clean
base: install.txt info html
INSTALL-INFO-TARGETS := yacasl2.info
.PHONY: base all info html htmls pdf casl2_spec distclean clean
base: install.txt info html