From b65228c08b17b361dd97fa24d9677ab165b3638b Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Tue, 19 Jul 2016 10:22:39 -0700
Subject: Add a separate non-specific target

This should fix #27.  We depend on some files in the etc/coq-scripts
submodule.

Note that you need to either run `make cleanall -k` or `rm -f Makefile.coq`
after pulling this to build the development.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index aeba9e55d..088f0262e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,6 +7,7 @@
 *~
 .#*
 /.dir-locals.el
+/submodule-update
 Makefile.bak
 Makefile.coq
 Makefile.coq.bak
-- 
cgit v1.2.3