From 1f304274c50074ae27d3dd5aee428a2a7df50660 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 19:28:31 +0000
Subject: Add acl2 and twelf to elisp dirs

---
 Makefile       | 2 +-
 Makefile.devel | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 7cf9f393..fadf78bd 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@
 ###########################################################################
 
 
-ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 af2 twelf
+ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 af2 twelf acl2
 # FIXME: automate the emacs choice to be xemacs if it can be
 # found, otherwise emacs.
 BATCHEMACS=xemacs -batch -q -no-site-file
diff --git a/Makefile.devel b/Makefile.devel
index 9bdf7d85..590c4a85 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -180,7 +180,7 @@ FILES_NONCVS = TAGS
 DISTINSTALLDIR=/export/local/share/elisp
 
 # Copied from distributed Makefile
-ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 af2 twelf
+ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 af2 twelf acl2
 SUBDIRS=$(ELISP_DIRS) etc doc html images
 
 PWD=$(shell pwd)
-- 
cgit v1.2.3