Re: "make install" now tries to build the documentation - Mailing list pgsql-hackers

From Andrew Dunstan
Subject Re: "make install" now tries to build the documentation
Date
Msg-id 4A8AD259.1050306@dunslane.net
Whole thread Raw
In response to "make install" now tries to build the documentation  (Tom Lane <tgl@sss.pgh.pa.us>)
Responses Re: "make install" now tries to build the documentation  (Tom Lane <tgl@sss.pgh.pa.us>)
List pgsql-hackers

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



pgsql-hackers by date:

Previous
From: Tom Lane
Date:
Subject: Re: "make install" now tries to build the documentation
Next
From: Greg Stark
Date:
Subject: Re: PQgetlength vs. octet_length()