From 34ef9c552876580d7e504b5306eaa3c2d8a441ee Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 13 Mar 2000 05:58:37 +0000
Subject: Add hol98 to elisp dirs.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index aa397173..55b5a69c 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@
 ###########################################################################
 
 
-ELISP_DIRS = generic lego coq isa isar plastic demoisa
+ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98
 # FIXME: automate the emacs choice to be xemacs if it can be
 # found, otherwise emacs.
 EMACS = xemacs
-- 
cgit v1.2.3