From fdfeacfad0bba085cb4addd8629ac66a59f123ad Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 22 Jan 2017 20:24:20 -0500
Subject: Don't remake .v.d. files in clean-coqprime

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index ab274892a..69fea5af6 100644
--- a/Makefile
+++ b/Makefile
@@ -18,7 +18,7 @@ HIDE := $(if $(VERBOSE),,@)
 
 SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g'
 
-FAST_TARGETS += archclean clean cleanall printenv clean-old update-_CoqProject Makefile.coq
+FAST_TARGETS += archclean clean cleanall clean-coqprime printenv clean-old update-_CoqProject Makefile.coq
 SUPER_FAST_TARGETS += update-_CoqProject Makefile.coq
 
 COQ_VERSION_PREFIX = The Coq Proof Assistant, version
-- 
cgit v1.2.3