[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Groff] ping: let man print volume headers like mdoc
|
From: |
Werner LEMBERG |
|
Subject: |
Re: [Groff] ping: let man print volume headers like mdoc |
|
Date: |
Thu, 01 Dec 2011 08:59:30 +0100 (CET) |
> Yuri Pankov (of IllumOS) suggested to make the two more similar by
> letting man(7) fill in the default volume name as well. I like the
> idea - reducing gratuitious differences between mdoc(7) and man(7)
> seems good to me - and would like to implement the change in
> mandoc(1).
I've applied your patch to the CVS repository, thanks.
Werner
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Groff] ping: let man print volume headers like mdoc,
Werner LEMBERG <=