From c5384ee0ce6232fa89c07864e60be70dee2ad7ed Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 14 Dec 2007 00:52:30 +0000
Subject: Remove overriding BYTECOMP definition

---
 Makefile.devel | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index d6411a06..4ee64b53 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -211,11 +211,6 @@ SUBDIRS=$(ELISP_DIRS) etc doc images
 
 PWD=$(shell pwd)
 
-BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lib" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isar") load-path))' -f batch-byte-compile
-
-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
-ELC=$(EL:.el=.elc)
-
 %.gz:	%
 	gzip -f $*
 
-- 
cgit v1.2.3