aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-29 19:28:31 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-09-29 19:28:31 +0000
commit1f304274c50074ae27d3dd5aee428a2a7df50660 (patch)
tree56afcbccbdd8ea8b4965d5dde5675eb32f992462
parent5c96a09131a8f29b59c8c80bdf936ee592acd291 (diff)
Add acl2 and twelf to elisp dirs
-rw-r--r--Makefile2
-rw-r--r--Makefile.devel2
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)