From c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f Mon Sep 17 00:00:00 2001
From: Paul Steckler <steck@stecksoft.com>
Date: Wed, 24 May 2017 11:14:51 -0400
Subject: Remove mmm and ML4PG contribs and remove references to them in code
 and docs

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index c629a4bc..3bc393ed 100644
--- a/Makefile
+++ b/Makefile
@@ -34,7 +34,7 @@ PREFIX=$(DESTDIR)/usr
 DEST_PREFIX=$(DESTDIR)/usr
 
 PROVERS=acl2 ccc coq easycrypt hol-light hol98 isar lego pghaskell pgocaml pgshell phox twelf
-OTHER_ELISP=generic lib contrib/mmm
+OTHER_ELISP=generic lib
 ELISP_DIRS=${PROVERS} ${OTHER_ELISP}
 ELISP_EXTRAS=
 EXTRA_DIRS = images
-- 
cgit v1.2.3