diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:31:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-27 16:31:35 +0000 |
commit | 1e0d6e79c32b49ea82bf7b20bd4fbeeaffd3821a (patch) | |
tree | 6baec70296eccfd424e2a8fa938fa7accb07dff4 /Makefile | |
parent | 98d0401b2fdd1e2e3687bd16d817db56e81ee14f (diff) |
Fix mmm path
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |