Re: --disable-shared is entirely broken these days

On Thu, Aug 30, 2012 at 04:50:22PM -0400, Tom Lane wrote:
> Bruce Momjian <bruce@momjian.us> writes:
> > On Mon, May 28, 2012 at 02:27:15AM +0300, Peter Eisentraut wrote:
> >> We should just remove it now.
> 
> > --disable-shared removed, with the attached, applied patch.
> 
> No documentation changes?

I couldn't find any place we document it.  I did:
grep _shared *.sgml

and no hits were returned.  Should I search for something else?

--  Bruce Momjian  <bruce@momjian.us>        http://momjian.us EnterpriseDB
http://enterprisedb.com
 + It's impossible for everything to be true. +