[gnutls-devel] [PATCH 3/3] build: always install man(1)

[Nikos Mavrogiannopoulos]

On Thu, Dec 17, 2015 at 6:57 PM, Alon Bar-Lev <alon.barlev at gmail.com> wrote:
> currently these man pages are installed only if --enable-doc
> is provided, while these are not actually docs, do not require any
> special dependency, nor consume large space.

Hi Alon,
 I've applied the first two but not this one. The disable-doc is used
by systems which want no documentation at all and this commit changes
that. I'd prefer to keep things simple and have a single flag for
documentation irrespective of its type.

regards,
Nikos