From b0d222ebf1f0496cf9277a7bed012b6feb97fc62 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 20 Dec 2006 15:14:56 +0000 Subject: Remove isa dir --- Makefile.devel | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.devel') 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) -- cgit v1.2.3