[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.
Re: [PATCH] build: Add --disable-man-pages option, Patrice Dumas, 2012/01/10
Re: [PATCH] build: Add --disable-man-pages option, Patrice Dumas, 2012/01/10