From 2ad5635db7944c2e31390730f85b2c36d43ec9df Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Nov 1999 09:59:26 +0000
Subject: Add demoisa dir to makefiles.

---
 Makefile       | 2 +-
 Makefile.devel | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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)
diff --git a/Makefile.devel b/Makefile.devel
index c5c0a246..f417bb42 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -141,7 +141,7 @@ FILES_NONCVS = ChangeLog TAGS
 DISTINSTALLDIR=/export/local/share/elisp
 
 # Copied from distributed Makefile
-ELISP_DIRS=generic lego coq isa isar plastic
+ELISP_DIRS=generic lego coq isa isar plastic demoisa
 SUBDIRS=$(ELISP_DIRS) etc doc html images
 
 PWD=$(shell pwd)
-- 
cgit v1.2.3