diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-06-04 11:40:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-06-04 11:40:25 +0000 |
commit | 96264a0745410b6a540575e45410269b4ffff607 (patch) | |
tree | 6072230f1a466dd8ea7e421150d36db37e457eb5 /Makefile | |
parent | 06f405b0b3e99694c831af0a6373a58c5ebdf670 (diff) |
Edit PGHOMEDEFAULT rather than PGHOME.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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) |