From 1e0d6e79c32b49ea82bf7b20bd4fbeeaffd3821a Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 27 Aug 2010 16:31:35 +0000
Subject: Fix mmm path

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 92b91969..9383af52 100644
--- a/Makefile
+++ b/Makefile
@@ -36,7 +36,7 @@ DEST_PREFIX=/usr
 PWD=$(shell pwd)
 
 PROVERS=acl2 ccc coq hol98 isar lego pgshell phox
-OTHER_ELISP=generic lib mmm
+OTHER_ELISP=generic lib contrib/mmm
 ELISP_DIRS=${PROVERS} ${OTHER_ELISP}
 ELISP_EXTRAS=isar/interface isar/isartags
 EXTRA_DIRS = images
-- 
cgit v1.2.3