aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2001-09-04 16:35:47 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2001-09-04 16:35:47 +0000
commit6b49ee45b2cc1cbb8bcf7ed87ebdadc763bc9df9 (patch)
tree8ce4fa3da23de7090e0a243f7ca62c69650a8ef0 /Makefile
parent78b3a271a936bb12317287395250f552f87ce925 (diff)
Delete rogue elcs
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 65e3bac8..aed482e0 100644
--- a/Makefile
+++ b/Makefile
@@ -34,6 +34,8 @@ 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)
+BROKENELC=proof-toolbar.elc proof-menu.elc proof-indent.elc proof-x-symbol.elc
+
.SUFFIXES: .el .elc
default: compile scripts
@@ -50,6 +52,7 @@ compile:
@echo " Byte compiling..."
@echo "*************************************************"
(rm -f $(ELC); $(BYTECOMP) $(EL))
+ rm -f $(BROKENELC)
@echo "*************************************************"
@echo " Finished."
@echo "*************************************************"
@@ -58,6 +61,7 @@ all: $(ELC)
.el.elc:
$(BYTECOMP) $*.el
+ rm -f $(BROKENELC)
##
## scripts: try to patch bash and perl scripts with correct paths