diff options
| author | David Aspinall | 2006-09-22 16:11:12 +0000 |
|---|---|---|
| committer | David Aspinall | 2006-09-22 16:11:12 +0000 |
| commit | 1875d0c5589dd312dea2e04c1237e5285f8d4cde (patch) | |
| tree | fb63bc21c6e7b4a9d7a7834b81197930920eecbd /Makefile.devel | |
| parent | 69dc92ed5e6c26fa2b28c4875a3f9bff004c152e (diff) | |
Packaging fixes: put isar/interface in right place; install examples and doc files from Makefile.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 4 |
1 files changed, 0 insertions, 4 deletions
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) |