.PHPNY: html clean
html: yacasl2.texi
	@makeinfo --html $^
clean:
	@rm -rf yacasl2