Hello folks, The attached patch adds dir entries to the texinfo documentation so that one can easily install the resulting info pages properly. While working on this, I also found a couple of typo'd variables in the texinfo documentation, which this patch also fixes. BTW, I recommend updating texinfo.tex to the latest version from ftp.gnu.org as well. The version in the doc tree is antediluvian, and the documentation builds fine with the current version. (You may also want to add --no-split to the makeinfo --html rules, if you want to preserve the current single-page HTML files.)