From 66f117fe2e2e0f7f42d6ebe4086d8667013d7b92 Mon Sep 17 00:00:00 2001
From: Robert Bradshaw <robertwb@math.washington.edu>
Date: Mon, 23 Nov 2009 11:21:22 -0800
Subject: [PATCH] Also copy .hgignore

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

diff --git a/Makefile b/Makefile
index bc70776c..337825cf 100644
--- a/Makefile
+++ b/Makefile
@@ -12,6 +12,7 @@ local:
 	hg clone --rev $(REV) $(REPO) $(TMPDIR)
 	hg -R $(TMPDIR) update
 	mv $(TMPDIR)/.hg .
+	mv $(TMPDIR)/.hgignore .
 	mv $(TMPDIR)/.hgtags .
 	rm -rf $(TMPDIR)
 
-- 
2.26.2