From 792a45b506885a78599fb799c881046b8841d022 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@csail.mit.edu>
Date: Tue, 2 Feb 2016 13:53:58 -0500
Subject: [PATCH] Tweak Makefile dependencies

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 86c69d2..ee0bd0c 100644
--- a/Makefile
+++ b/Makefile
@@ -19,8 +19,8 @@ clean:: Makefile.coq
 	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq
 
-frap.tgz: *
-	git archive --format=tar.gz HEAD >frap.tgz
+frap.tgz: *.v
+	git archive --exclude *.html --format=tar.gz HEAD >frap.tgz
 
 WHERE=chlipala.net:sites/chlipala/adam/frap/