From c4dbf0a6214dfdd4cdc060fd929a667e82a96c5b Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Mon, 9 Jan 2017 10:03:48 -0500
Subject: Update list of .PHONY targets

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 58b0614cb..ab274892a 100644
--- a/Makefile
+++ b/Makefile
@@ -13,6 +13,7 @@ HIDE := $(if $(VERBOSE),,@)
 .PHONY: coq clean update-_CoqProject cleanall install \
 	install-coqprime clean-coqprime coqprime \
 	specific non-specific \
+	small-specific-gen medium-specific-gen specific-gen \
 	extraction ghc
 
 SORT_COQPROJECT = sed 's,[^/]*/,~&,g' | env LC_COLLATE=C sort | sed 's,~,,g'
-- 
cgit v1.2.3