Re: [groff] 02/04: grotty.1.man: Make editorial fixes.

2019-09-01 Thread Werner LEMBERG
> I have never used grotty. Reading the man page I wondered why one > would use it rather than nroff (which is absent from the SEE ALSO > list). You won't use grotty directly (except if you are going to construct the groff pipeline manually). It's the TTY backend of groff. In other words, if

Re: [groff] 02/04: grotty.1.man: Make editorial fixes.

2019-09-01 Thread Doug McIlroy
I have never used grotty. Reading the man page I wondered why one would use it rather than nroff (which is absent from the SEE ALSO list). Doug

Re: [groff] 02/04: grotty.1.man: Make editorial fixes.

2019-08-31 Thread G. Branden Robinson
[coming back to this after a while] At 2019-06-30T17:38:16+0200, Ingo Schwarze wrote: > Thanks; overall, these seem to be impovements. Thanks, Ingo! > There is one detail that should really be removed though, i think: [...] > The -R option is already scary. The -r option is even worse, > introd

Re: [groff] 02/04: grotty.1.man: Make editorial fixes.

2019-06-30 Thread Ingo Schwarze
Hi Branden, G. Branden Robinson wrote on Sun, Jun 30, 2019 at 05:19:43AM -0400: > commit c105b1725cc928e225d23237f3cf1a7a5239d5ba > Author: G. Branden Robinson > Date: Thu Jun 27 22:14:50 2019 +1000 > > grotty.1.man: Make editorial fixes. Thanks; overall, these seem to be impovements. (