From 6f43dcc6defc76c7859239cdb999838eb43c8d3e Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 2 Feb 2016 13:53:21 -0500 Subject: [PATCH] Tweak Makefile dependencies --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index b5d946b..86c69d2 100644 --- a/Makefile +++ b/Makefile @@ -19,7 +19,7 @@ clean:: Makefile.coq $(MAKE) -f Makefile.coq clean rm -f Makefile.coq -frap.tgz: *.v +frap.tgz: * git archive --format=tar.gz HEAD >frap.tgz WHERE=chlipala.net:sites/chlipala/adam/frap/