pgsql-server/ /configure /configure.in oc/src/ ...

CVSROOT: /cvsroot
Module name: pgsql-server
Changes by: momjian@svr1.postgresql.org 03/09/13 14:01:09

Modified files:
. : configure configure.in
doc/src/sgml : installation.sgml

Log message:
Rename --without-spinlocks to --disable-spinlocks, per Peter.