Re: [patch] info: feedback messages in echo area want a period

[Benno Schulenberg]

On Sun, May 21, 2017, at 18:45, Gavin Smith wrote:
> On Sun, May 21, 2017 at 05:15:54PM +0200, Benno Schulenberg wrote:
> > Yes, those option descriptions shouldn't end in a period
> > -- it is the usual style, /and/ a period is incorrect when
> > a phrase doesn't start with a capital.
> 
> OK, I'll change this.

You missed the ones at the end of some strings:

   -f, --file=MANUAL            specify Info manual to visit."));

   -o, --output=FILE            output selected nodes to FILE."));

   -O, --show-options, --usage  go to command-line options node."));

Benno

-- 
http://www.fastmail.com - The way an email service should be