On tis, 2009-08-18 at 10:50 -0700, Josh Berkus wrote:
> On 8/18/09 10:43 AM, Tom Lane wrote:
> > Is it sensible to split out docs installation to a separate target
> > "make install-docs"? Or is there some other solution?
>
> I'd like to have this. There are times I want to *only* build the docs.
make html
Has nothing to do with this, really.