From ed5a2169c9b41c3db5c0dd9694e8479e0391bf89 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Tue, 24 Aug 1999 16:25:27 +0000
Subject: enabled isar;

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 462b7e19..96b57825 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@
 ###########################################################################
 
 
-ELISP_DIRS = generic lego coq isa
+ELISP_DIRS = generic lego coq isa isar
 EMACS = xemacs
 
 PWD=$(shell pwd)
@@ -26,7 +26,7 @@ PWD=$(shell pwd)
 # output the compile-time load path and
 # ELISP_DIRS so these are set just in that one
 # place.
-BYTECOMP = $(EMACS) -batch -q -no-site-file -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa") load-path))' -f batch-byte-compile
+BYTECOMP = $(EMACS) -batch -q -no-site-file -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa" "$(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