Re: "make install" now tries to build the documentation

Tom Lane wrote:
> Sometime since Friday, somebody (probably Peter) "fixed" things so that
> "make install" at the top level of the tree insists on building the SGML
> documentation first. I regard this as utterly unacceptable; if I'm just
> trying to build a new test installation (which I often do multiple times
> per day), I do not wish to wait around for the SGML docs to be built.
> Please fix. Maybe installing the docs could be conditional on having
> done "make distprep", instead?
>
>
>

Doesn't seem to be happening for me:

<http://www.pgbuildfarm.org/cgi-bin/show_stage_log.pl?nm=dungbeetle&dt=2009-08-18%20064401&stg=make-install>

shows this at the top:

make -C doc install
make[1]: Entering directory `/home/andrew/bf/root/HEAD/pgsql.13422/doc'
make -C src install
make[2]: Entering directory `/home/andrew/bf/root/HEAD/pgsql.13422/doc/src'
make -C sgml install
make[3]: Entering directory `/home/andrew/bf/root/HEAD/pgsql.13422/doc/src/sgml'
make[3]: Nothing to be done for `install'.
make[3]: Leaving directory `/home/andrew/bf/root/HEAD/pgsql.13422/doc/src/sgml'
make[2]: Leaving directory `/home/andrew/bf/root/HEAD/pgsql.13422/doc/src'
make[1]: Leaving directory `/home/andrew/bf/root/HEAD/pgsql.13422/doc'

cheers

andrew