From 6b49ee45b2cc1cbb8bcf7ed87ebdadc763bc9df9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 4 Sep 2001 16:35:47 +0000
Subject: Delete rogue elcs

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

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
-- 
cgit v1.2.3