[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [groff] 01/04: grn(1): Make options discussion a section.
|
From: |
Ingo Schwarze |
|
Subject: |
Re: [groff] 01/04: grn(1): Make options discussion a section. |
|
Date: |
Fri, 16 Nov 2018 14:14:22 +0100 |
|
User-agent: |
Mutt/1.8.0 (2017-02-23) |
Hi Branden,
G. Branden Robinson wrote on Tue, Nov 13, 2018 at 12:12:25PM -0500:
> Let me ask you this: do you propose that we eliminate Options
> sections from all groff man pages?
Yes, as time permits. It may not be the top priority, people may
find other aspects that they want to work on more urgently. But
at least let's refrain from adding new ones.
Yours,
Ingo