On Sat, Mar 27, 2010 at 5:23 AM, Peter Eisentraut <pete...@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 -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
