Thanks for the comments, all implemented and pushed. On Sun, May 11, 2014 at 11:54:02AM +0200, Ludovic Courtès wrote: > Also, two spaces after end-of-sentence periods.
Just as a side note (side-note? sidenote?), in texinfo an end of sentence period immediately followed by a line break is interpreted as such (with a double space in the info browser), while in the string in the description field of our package definitions it is not. So there one should not end a line with a period. Andreas
