On Fri, Mar 5, 2010 at 9:21 AM, Peter Eisentraut <peter_e@gmx.net> wrote:
> By splitting out the doc building into a separate target, we will have
> less users installing the documentation.
I don't see why. And even if it's true, it just means some people
were installing the docs "by accident" before even though they didn't
really want them.
...Robert