diff options
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) |