+yacasl2.info: manual.texi
+ $(MAKEINFO) $(MAKEINFO_FLAGS) $<
+
+# makeで作成されたドキュメントはすべて削除
+distclean: clean texinfo-distclean
+ $(RM) install.txt *.info *.html *_html *.pdf
+ $(MAKE) -C casl2_spec distclean
+
+# make baseで作成されたドキュメントは残す
+clean: texinfo-clean
+ $(RM) *.bak
+ $(MAKE) -C casl2_spec clean
+
+include texinfo.mk
+
+include install-info.mk