1 files changed, 2 insertions, 1 deletions

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