From a712570880510e94fa987b891d7b6179786611a7 Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Sun, 23 May 2004 15:24:32 +0000
Subject: [PATCH] Make --without-docdir configure option actually work, per
 Manfred.

---
 src/Makefile.global.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/Makefile.global.in b/src/Makefile.global.in
index 7a9183eed37..6ee0ceb281a 100644
--- a/src/Makefile.global.in
+++ b/src/Makefile.global.in
@@ -1,5 +1,5 @@
 # -*-makefile-*-
-# $PostgreSQL: pgsql/src/Makefile.global.in,v 1.187 2004/05/22 00:34:49 tgl Exp $
+# $PostgreSQL: pgsql/src/Makefile.global.in,v 1.188 2004/05/23 15:24:32 tgl Exp $
 
 #------------------------------------------------------------------------------
 # All PostgreSQL makefiles include this file and use the variables it sets,
@@ -105,11 +105,14 @@ mandir := @mandir@
 sqlmansect_dummy = l
 
 docdir := @docdir@
+# docdir can be an empty string to signify --without-docdir
+ifneq (,$(docdir))
 ifeq "$(findstring pgsql, $(docdir))" ""
 ifeq "$(findstring postgres, $(docdir))" ""
 override docdir := $(docdir)/postgresql
 endif
 endif
+endif
 
 localedir := @localedir@
 
-- 
GitLab