.PHPNY: html clean html: yacasl2.texi @makeinfo --html --css-ref=style.css $^ clean: @rm -rf yacasl2