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