From c1d1708127e306d1035259e7ad830148e84885a1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 13 Sep 2000 15:51:03 +0000 Subject: Added af2 and twelf to elisp dirs. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 82cd5ed3..7cf9f393 100644 --- a/Makefile +++ b/Makefile @@ -14,7 +14,7 @@ ########################################################################### -ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 +ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 af2 twelf # FIXME: automate the emacs choice to be xemacs if it can be # found, otherwise emacs. BATCHEMACS=xemacs -batch -q -no-site-file -- cgit v1.2.3