From 1875d0c5589dd312dea2e04c1237e5285f8d4cde Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 22 Sep 2006 16:11:12 +0000
Subject: Packaging fixes: put isar/interface in right place; install examples
 and doc files from Makefile.

---
 Makefile.devel | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index 94ea98a7..56c17d22 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -208,10 +208,6 @@ RELEASENAMERPM = $(RELEASENAME)-1.noarch.rpm
 # value for dcs.ed.ac.uk:
 DISTINSTALLDIR=/export/local/share/elisp
 
-# Copied from distributed Makefile
-PROVERS=acl2 coq demoisa generic hol98 isa isar lclam lego phox plastic twelf
-OTHER_ELISP=lib mmm
-ELISP_DIRS=$(PROVERS) $(OTHER_ELISP)
 SUBDIRS=$(ELISP_DIRS) etc doc images
 
 PWD=$(shell pwd)
-- 
cgit v1.2.3