diff options
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/Makefile.devel b/Makefile.devel index 8028be1c..33f42ce5 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -224,11 +224,6 @@ BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (list "$(PWD)/generic" " EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) ELC=$(EL:.el=.elc) -.SUFFIXES: .el .elc - -.el.elc: - $(BYTECOMP) $*.el - %.gz: % gzip -f $* @@ -280,10 +275,8 @@ logupdate: ChangeLog.gz # # Clean up intermediate files # -clean: +devclean: FORCE @echo "***** CLEANING UP INTERMEDIATE FILES ****" - (cd doc; $(MAKE) clean) - (cd images; $(MAKE) clean) rm -f doc/ProofGeneralPortrait.eps.gz rm -f $(HTMLDIR)/ProofGeneral @@ -294,7 +287,7 @@ clean: # Clean up intermediate files, all generated files # and Emacs backups, CVS temps # -distclean: clean +distclean: devclean clean @echo "***** CLEANING UP ALL JUNK FILES ****" find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' \) -print | xargs rm -f (cd doc; $(MAKE) distclean) |