From 40b42de6ab1b0641324e7d583edfd1fa867fc919 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 1 Mar 2004 01:27:53 +0000
Subject: Comment.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 7d7f0313..241b24f2 100644
--- a/Makefile
+++ b/Makefile
@@ -167,7 +167,8 @@ install-elisp: install-el install-elc
 # i.e. images, x-symbol.  FIXME: we could put these elsewhere, but
 # then we would need to adjust paths in proof-site.el.
 # FIXME 2: should deal with x-symbol properly and avoid duplication
-# with images
+# with images, and also to avoid including .elc and .el files in
+# x-symbol subdirectory.
 install-el:
 	mkdir -p ${ELISP}
 	for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
-- 
cgit v1.2.3