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