From 2ad5635db7944c2e31390730f85b2c36d43ec9df Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Sun, 14 Nov 1999 09:59:26 +0000
Subject: Add demoisa dir to makefiles.

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

(limited to 'Makefile')

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