diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:26:41 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-09-13 14:26:41 +0000 |
commit | cc1ab97c86bc18254536535b0f5561c2067cf483 (patch) | |
tree | 91a8b231f5ccf59c0ddbed95f8216c12e1487960 /Makefile | |
parent | ab56e29f53b457d85f7d841ad6369bb75ab85c55 (diff) |
Added plastic to elisp dirs and cleanup backup files.
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) |