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]:
Leavingdirectory `/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