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 <[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] | (610) 359-1001 + If your life is a hard drive, | 13 Roberts Road + Christ can be your backup. | Newtown Square, Pennsylvania 19073 ---------------------------(end of broadcast)--------------------------- TIP 5: Have you checked our extensive FAQ? http://www.postgresql.org/docs/faqs/FAQ.html