diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2006-12-20 15:14:56 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2006-12-20 15:14:56 +0000 |
commit | b0d222ebf1f0496cf9277a7bed012b6feb97fc62 (patch) | |
tree | 0db3ce64c624a94310598cf7adc90b3f2b3f6f60 /Makefile.devel | |
parent | 2ecb7d6dd327f0762b59dbe226cca97b4dea16b3 (diff) |
Remove isa dir
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 56c17d22..953b9ab9 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -212,7 +212,7 @@ SUBDIRS=$(ELISP_DIRS) etc doc images PWD=$(shell pwd) -BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lib" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa" "$(PWD)/isar") load-path))' -f batch-byte-compile +BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lib" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isar") load-path))' -f batch-byte-compile EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) ELC=$(EL:.el=.elc) |