On 07/08/2017 05:07 PM, Yuri Chornoivan wrote:
> Just a fix for a few minor typos in comments and docs.
(Note that it is generally not needed to patch doc/manual/texinfo.tex,
as this file comes from the TeXinfo project and is copied automatically
into our source tree by Automake. We update it occasionally from the
upstream TeXinfo source.)