From 53f43b6fa01ced95f37c99cccec69a5e09517e21 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 1 Sep 2011 09:50:45 +0000
Subject: gitignore update

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14432 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 .gitignore | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 4f0058938..e6b063684 100644
--- a/.gitignore
+++ b/.gitignore
@@ -102,13 +102,12 @@ tools/coqdoc/cpretty.ml
 
 # .mly files
 
-dev/ocamlweb-doc/syntax.ml
-dev/ocamlweb-doc/syntax.mli
 ide/config_parser.ml
 ide/config_parser.mli
 
 # .ml4 files
 
+ide/project_file.ml
 lib/pp.ml
 lib/compat.ml
 parsing/g_xml.ml
@@ -157,7 +156,6 @@ tactics/rewrite.ml
 tactics/eqdecide.ml
 tactics/extratactics.ml
 tactics/extraargs.ml
-tools/coq_makefile.ml
 tools/coq_tex.ml
 toplevel/mltop.ml
 toplevel/whelp.ml
-- 
cgit v1.2.3