[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Man-db-devel] [PATCH] man(1): Do not roff pages w/o macros
From: |
Mihail Konev |
Subject: |
Re: [Man-db-devel] [PATCH] man(1): Do not roff pages w/o macros |
Date: |
Sun, 30 Oct 2016 20:37:48 +0500 |
On Sat, Oct 29, 2016 at 06:56:22AM +0500, Mihail Konev wrote:
> On Sat, Oct 29, 2016 at 08:49:41AM +0500, Mihail Konev wrote:
> > Note that it is much slower than C version
> > (has to spawn awk and grep).
> >
> > The former should, therefore, be more comfortable to user,
> > showing the page slightly faster.
> >
> Might sound over-estimated, but ./configure isn't instant, after all.
>
I must just have get used to the slightly-faster man(1).
(If there really is any perceptible difference at all).
So the final-newlines should be the only concern.
Re: [Man-db-devel] [PATCH v3] man(1): Do not roff non-mandoc pages, Mihail Konev, 2016/10/28