1 files changed, 0 insertions, 4 deletions
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))'; )