[Top][All Lists]

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

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

From: Karl Berry
Subject: Re: [PATCH] build: Add --disable-man-pages option
Date: Mon, 9 Jan 2012 15:39:17 -0800

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.


reply via email to

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