Re: Next release from master

[Dmitry Gutov]

On 02/10/2016 07:07 AM, Lars Ingebrigtsen wrote:

> Texinfo does take a while to get used to, yes...

Not just Texinfo, but the existing organization and contents of the 
manuals. Not all of us are intimately familiar with them.

> Yeah.  But I think people should do their best to document any changes
> they do, and I kinda sorta feel that "their best" might be at a higher
> level than we're observing now.  :-)

Probably. But I'm sure all of us can point out (different) areas where 
"people" aren't doing their absolute best.