# Makefile for emacs modes

include ../../config

all: coq.elc

.SUFFIXES: .elc .el

.el.elc:
	echo "(setq load-path (cons \".\" load-path))" > $*.compile
	echo "(byte-compile-file \"$<\")" >> $*.compile
	$(EMACS) -batch -l $*.compile
	rm -f $*.compile	

install:
	$(INSTALL) -d coq.el $(EMACSLIB)
	$(INSTALL) -d coq.elc $(EMACSLIB)

clean::
	rm -f *.elc *.compile *~ #*#
