Michael Fuhr <mike(at)fuhr(dot)org> writes:
> On Wed, Oct 06, 2004 at 03:27:39PM -0400, Tom Lane wrote:
>> You need to do "make install-all-headers" while installing to install
>> the server-side headers there.
> BTW, did this just change in 8.0?
There was a proposal to change it, but I dunno if it was committed.
regards, tom lane