Thread: changes to documentation build

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.

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