From f89bae77a8e6dee45aabfd7cd5306ca996f71f36 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 7 Sep 2009 09:06:50 +0000
Subject: Don't try to compile obsolete twelf Emacs code.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index b1c2e17f..c463e1ad 100644
--- a/Makefile
+++ b/Makefile
@@ -34,8 +34,9 @@ DEST_PREFIX=/usr
 
 PWD=$(shell pwd)
 
-PROVERS=acl2 ccc coq demoisa hol98 isar lclam lego pgshell phox plastic twelf
+PROVERS=acl2 ccc coq demoisa hol98 isar lclam lego pgshell phox plastic
 OTHER_ELISP=generic lib mmm
+IGNORED_ELISP=twelf
 ELISP_DIRS=${PROVERS} ${OTHER_ELISP}
 ELISP_EXTRAS=isar/interface isar/isartags
 EXTRA_DIRS = images
-- 
cgit v1.2.3