diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 22:39:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-17 22:39:45 +0000 |
commit | 0ae690f5a7773a43e4507e7cf6eb549d2f608772 (patch) | |
tree | 4c20c8e8f175b8e66447f06d2662f8954d7fc0e6 /Makefile | |
parent | 1c8442f2ac34b1b660a769bcf322eabb9efe29f1 (diff) |
Note about bad pgscripts editing
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -231,6 +231,8 @@ perlscripts: done; \ rm -f .tmp) +# FIXME: this next edit is really for install case, shouldn't be made +# just when user types 'make' pgscripts: @(pghome=${DEST_ELISP}; \ for i in $(PG_SCRIPTS); do \ |