I was looking for info on the HTML output options and found a few typos. So I decided to check the whole document.
The source I used is the one that's downloadable from the GNU site: https://www.gnu.org/software/texinfo/manual/texinfo/texinfo.texi.tar.gz Some proposals may be overstepping but some others are clearly errors. Thank you for your work.
<<attachment: texinfo_typos.diff.zip>>
Jean-Christophe Helary ----------------------------------------------- http://mac4translators.blogspot.com @brandelune
