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
