From 5d39716249aff66eff1d710e6222901b111b0637 Mon Sep 17 00:00:00 2001
From: glondu <glondu@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 25 Jan 2011 07:02:23 +0000
Subject: Update .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 608a7aeae..4f0058938 100644
--- a/.gitignore
+++ b/.gitignore
@@ -53,10 +53,14 @@ states/initial.coq
 coqdoc.sty
 test-suite/lia.cache
 test-suite/trace
+test-suite/misc/universes/all_stdlib.v
+test-suite/misc/universes/universes.txt
 
 # documentation
 
 doc/faq/html/
+doc/refman/csdp.cache
+doc/refman/trace
 doc/refman/Reference-Manual.pdf
 doc/refman/Reference-Manual.ps
 doc/refman/cover.html
@@ -157,6 +161,8 @@ tools/coq_makefile.ml
 tools/coq_tex.ml
 toplevel/mltop.ml
 toplevel/whelp.ml
+ide/coqide_main.ml
+ide/coqide_main_opt.ml
 
 # other auto-generated files
 
-- 
cgit v1.2.3