aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-17 22:39:45 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2004-04-17 22:39:45 +0000
commit0ae690f5a7773a43e4507e7cf6eb549d2f608772 (patch)
tree4c20c8e8f175b8e66447f06d2662f8954d7fc0e6 /Makefile
parent1c8442f2ac34b1b660a769bcf322eabb9efe29f1 (diff)
Note about bad pgscripts editing
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index e7153b60..3973bb8d 100644
--- a/Makefile
+++ b/Makefile
@@ -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 \