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

From Tom Lane
Subject "make install" now tries to build the documentation
Date
Msg-id 20625.1250609411@sss.pgh.pa.us
Whole thread Raw
Responses Re: "make install" now tries to build the documentation  (Peter Eisentraut <peter_e@gmx.net>)
Re: "make install" now tries to build the documentation  (Andrew Dunstan <andrew@dunslane.net>)
List pgsql-hackers
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?
        regards, tom lane


pgsql-hackers by date:

Previous
From: "Kevin Grittner"
Date:
Subject: Re: PQgetlength vs. octet_length()
Next
From: Peter Eisentraut
Date:
Subject: Re: "make install" now tries to build the documentation