diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -15,7 +15,7 @@ ########################################################################### -ELISP_DIRS = generic lego coq isa isar +ELISP_DIRS = generic lego coq isa isar plastic EMACS = xemacs PWD=$(shell pwd) |