From c1a330b28cd1417099183a1cb0a86b6a606b7ae9 Mon Sep 17 00:00:00 2001 From: Matthieu Sozeau Date: Tue, 3 Mar 2015 22:32:02 +0100 Subject: Add missing test-suite files and update gitignore. --- .gitignore | 3 +++ 1 file changed, 3 insertions(+) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 54b9d10b5..c0bae6c66 100644 --- a/.gitignore +++ b/.gitignore @@ -160,3 +160,6 @@ dev/myinclude # coqide generated files (when testing) *.crashcoqide +/doc/refman/Reference-Manual.hoptind +/doc/refman/Reference-Manual.optidx +/doc/refman/Reference-Manual.optind -- cgit v1.2.3