2 files changed, 2 insertions, 2 deletions
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
diff --git a/Makefile.devel b/Makefile.devel
index 7a36616f..2da9c01d 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -151,7 +151,7 @@ FILES_NONCVS = ChangeLog TAGS
 DISTINSTALLDIR=/export/local/share/elisp
 
 # Copied from distributed Makefile
-ELISP_DIRS=generic lego coq isa isar plastic demoisa
+ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98
 SUBDIRS=$(ELISP_DIRS) etc doc html images
 
 PWD=$(shell pwd)