crans.info: crans.texi
makeinfo crans.texi
crans.html: crans.texi
makeinfo --html --no-split crans.texi
crans_html: crans.texi
makeinfo --html -o crans_html crans.texi