diff options
| author | David Aspinall | 1999-09-13 14:26:41 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:26:41 +0000 |
| commit | cc1ab97c86bc18254536535b0f5561c2067cf483 (patch) | |
| tree | 91a8b231f5ccf59c0ddbed95f8216c12e1487960 | |
| parent | ab56e29f53b457d85f7d841ad6369bb75ab85c55 (diff) | |
Added plastic to elisp dirs and cleanup backup files.
| -rw-r--r-- | Makefile | 2 | ||||
| -rw-r--r-- | Makefile.devel | 7 |
2 files changed, 6 insertions, 3 deletions
@@ -15,7 +15,7 @@ ########################################################################### -ELISP_DIRS = generic lego coq isa isar +ELISP_DIRS = generic lego coq isa isar plastic EMACS = xemacs PWD=$(shell pwd) diff --git a/Makefile.devel b/Makefile.devel index 2b7d0d49..68a0d468 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -140,7 +140,8 @@ FILES_NONCVS = ChangeLog TAGS DISTINSTALLDIR=/export/local/share/elisp # Copied from distributed Makefile -ELISP_DIRS=generic lego coq isa isar +ELISP_DIRS=generic lego coq isa isar plastic +SUBDIRS=$(ELISP_DIRS) etc doc html images PWD=$(shell pwd) @@ -184,9 +185,11 @@ ChangeLog: FORCE ############################################################ # -# Clean up intermediate files +# Clean up intermediate files and Emacs backup files # clean: + rm -f *~ + for f in $(SUBDIRS); do rm -f $$f/*~; done (cd doc; $(MAKE) clean) (cd images; $(MAKE) clean) |