diff options
| author | David Aspinall | 2002-08-08 07:55:37 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-08-08 07:55:37 +0000 |
| commit | 934d8d4188240b92a40f1606970c824608a5c348 (patch) | |
| tree | afbbaaf8965de9ab836b417ea15ff422085623f2 | |
| parent | ef9e58567034a8cfecc408723726a79c03686b04 (diff) | |
Add lclam
| -rw-r--r-- | Makefile.devel | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.devel b/Makefile.devel index 76143287..b6f0cf48 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -188,7 +188,7 @@ FILES_NONCVS = TAGS DISTINSTALLDIR=/export/local/share/elisp # Copied from distributed Makefile -ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 phox twelf acl2 +ELISP_DIRS=generic acl2 coq demoisa hol98 isa isar lclam lego pgkit phox plastic twelf SUBDIRS=$(ELISP_DIRS) etc doc html images PWD=$(shell pwd) |