From 92a65c4943ba13df93db2661117d1ce23e0c02ba Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 30 Jul 2009 14:12:41 +0000
Subject: Git ignore files

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

diff --git a/.gitignore b/.gitignore
index 292e9d8a7c..948cd98d7b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -50,12 +50,26 @@ doc/refman/Reference-Manual.pdf
 doc/refman/Reference-Manual.ps
 doc/refman/cover.html
 doc/refman/styles.hva
+doc/refman/Reference-Manual.html
+doc/common/version.tex
+doc/refman/Reference-Manual.sh
+doc/refman/coqide-queries.eps
+doc/refman/coqide.eps
+doc/refman/euclid.ml
+doc/refman/euclid.mli
+doc/refman/heapsort.ml
+doc/refman/heapsort.mli
+doc/refman/html/
 doc/stdlib/Library.out
 doc/stdlib/Library.pdf
 doc/stdlib/Library.ps
+doc/stdlib/Library.coqdoc.tex
+doc/stdlib/html/
+doc/stdlib/index-body.html
+doc/stdlib/index-list.html
 doc/RecTutorial/RecTutorial.html
 doc/RecTutorial/RecTutorial.pdf
 doc/RecTutorial/RecTutorial.ps
 _build
 plugins/*/*_mod.ml
-myocamlbuild_config.ml
\ No newline at end of file
+myocamlbuild_config.ml
-- 
cgit v1.2.3