[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: |
Sat, 29 Oct 2016 06:56:22 +0500 |
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.
Re: [Man-db-devel] [PATCH v3] man(1): Do not roff non-mandoc pages, Mihail Konev, 2016/10/28