On Thu, Mar 11, 2010 at 8:50 PM, Alvaro Herrera
<alvherre@commandprompt.com> wrote:
> Robert Haas escribi=F3:
>> On Fri, Mar 5, 2010 at 8:09 AM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>
>> > What I'd be for is breaking the docs out as a separate top-level targe=
t,
>> > ie "make docs", "make install-docs". =A0I don't much care for Lou's
>> > suggestion of tying it to a configure option because that imposes the
>> > significant additional cost of re-configuring when I change my mind.
>> > I do need to be *able* to build the docs, I just don't want it happeni=
ng
>> > by surprise.
>>
>> Agreed. =A0I think that is a much better solution.
>
> +1, and I think docs should be a dependency of world, too.
Definitely.
...Robert
