aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-06-04 11:40:25 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-06-04 11:40:25 +0000
commit96264a0745410b6a540575e45410269b4ffff607 (patch)
tree6072230f1a466dd8ea7e421150d36db37e457eb5 /Makefile
parent06f405b0b3e99694c831af0a6373a58c5ebdf670 (diff)
Edit PGHOMEDEFAULT rather than PGHOME.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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)