From f0e6e8559ab4950e3629f771ed2eaa166636dcd6 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 24 Apr 2017 13:09:06 -0400
Subject: Track .dir-locals.el rather than generating it

Since we're only using one version of coqprime, we no longer need to
generate .dir-locals.el
---
 Makefile | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4e0539beb..3324ec86a 100644
--- a/Makefile
+++ b/Makefile
@@ -113,16 +113,12 @@ clean::
 	rm -f Makefile.coq
 
 cleanall:: clean clean-coqprime
-	rm -f .dir-locals.el
 
 install: coq install-coqprime
 
 printenv::
 	@echo "COQPATH =        $$COQPATH"
 
-.dir-locals.el::
-	sed 's:@COQPRIME@:$(COQPRIME_FOLDER):g' .dir-locals.el.in > $@
-
 printdeps::
 	$(HIDE)$(foreach vo,$(filter %.vo,$(MAKECMDGOALS)),echo '$(vo): $(call vo_closure,$(vo))'; )
 
-- 
cgit v1.2.3