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