Re: changes to documentation build

On Sat, Mar 27, 2010 at 5:23 AM, Peter Eisentraut <peter_e@gmx.net> wrote:
> Per thread starting here
>
> http://archives.postgresql.org/pgsql-bugs/2010-03/msg00049.php
>
> and ending here
>
> http://archives.postgresql.org/pgsql-bugs/2010-03/msg00110.php
>
> and earlier discussions of similar nature, here is a patch that
> separates the documentation build and installation into separate
> top-level targets 'make docs' and 'make install-docs', also dependencies
> of 'make world' and 'make install-world'.
>
> The significant change is that the documentation is no longer installed
> by default (but the availability of the 'world' target might alleviate
> that).
>
> Please check it out.

Looks great.  Thanks for changing this!

...Robert