From 96264a0745410b6a540575e45410269b4ffff607 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 4 Jun 2004 11:40:25 +0000
Subject: Edit PGHOMEDEFAULT rather than PGHOME.

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 3973bb8d..91b4f4a7 100644
--- a/Makefile
+++ b/Makefile
@@ -236,7 +236,7 @@ perlscripts:
 pgscripts:
 	@(pghome=${DEST_ELISP}; \
 	 for i in $(PG_SCRIPTS); do \
-	   sed "s|PGHOME=.*$$|PGHOME=$$pghome|" < $$i > .tmp \
+	   sed "s|PGHOMEDEFAULT=.*$$|PGHOMEDEFAULT=$$pghome|" < $$i > .tmp \
 	   && cat .tmp > $$i; \
 	 done; \
 	 rm -f .tmp)
-- 
cgit v1.2.3