1 files changed, 1 insertions, 1 deletions

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