Log Message:
-----------
Make --without-docdir configure option actually work, per Manfred.
Modified Files:
--------------
pgsql-server/src:
Makefile.global.in (r1.187 -> r1.188)
(http://developer.postgresql.org/cvsweb.cgi/pgsql-server/src/Makefile.global.in.diff?r1=1.187&r2=1.188)