From cc1ab97c86bc18254536535b0f5561c2067cf483 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 14:26:41 +0000
Subject: Added plastic to elisp dirs and cleanup backup files.

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 96b57825..62d1b0bf 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@
 ###########################################################################
 
 
-ELISP_DIRS = generic lego coq isa isar
+ELISP_DIRS = generic lego coq isa isar plastic
 EMACS = xemacs
 
 PWD=$(shell pwd)
-- 
cgit v1.2.3