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

On 3/27/10 2:23 AM, Peter Eisentraut wrote:

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'.

Yaaaaay! Will test.

--
-- Josh Berkus
PostgreSQL Experts Inc.
http://www.pgexperts.com