From 4bc5982cc04e19c034cbd8063783538157873b32 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 17 Nov 2017 16:50:18 -0500
Subject: Add a regenerate-curves target

It's currently a bit ad-hoc, and relies on the presence of git to add
things to _CoqProject, but it's a bit better than manually invoking the
commands.  More refinements to come, hopefully.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index dddbc9e73..6fe714950 100644
--- a/.gitignore
+++ b/.gitignore
@@ -20,6 +20,7 @@ nra.cache
 .nlia.cache
 .nia.cache
 .nra.cache
+/remake_curves.log
 
 # compilation outputs
 etc/tscfreq
-- 
cgit v1.2.3