[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] build: Add --disable-man-pages option

From: Colin Walters
Subject: Re: [PATCH] build: Add --disable-man-pages option
Date: Mon, 09 Jan 2012 19:02:15 -0500

On Mon, 2012-01-09 at 15:39 -0800, Karl Berry wrote:
> Sorry, I'm not inclined to complicate my configure script with an option
> that I can't plausibly document in order to placate your build system.
> Presumably you can install the patch as part of your build.

I can, yes - not a big deal.  But I think it's basic politeness to at
least try sending patches upstream and see if they agree.

Thanks for responding.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]