The option install-all-headers was removed in the past few days because
install by default now installs all headers.
---------------------------------------------------------------------------
Tom Lane wrote:
> Michael Fuhr <mike@fuhr.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
>
> ---------------------------(end of broadcast)---------------------------
> TIP 6: Have you searched our list archives?
>
> http://archives.postgresql.org
>
--
Bruce Momjian | http://candle.pha.pa.us
pgman@candle.pha.pa.us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073