From 271f7a80e6f9f22fbe1bdc46af8e3261094a908c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 26 Oct 2001 15:31:23 +0000
Subject: MAJ

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

diff --git a/doc/.cvsignore b/doc/.cvsignore
index 2761b637c6..0f98c0d40c 100644
--- a/doc/.cvsignore
+++ b/doc/.cvsignore
@@ -12,6 +12,8 @@ coq-docs-html
 Reference-Manual.atoc
 Reference-Manual.tacidx Reference-Manual.tacind Reference-Manual.comind
 Reference-Manual.comidx Reference-Manual.errind Reference-Manual.erridx
+Reference-Manual.hidx Reference-Manual.haux Reference-Manual.hind 
+Reference-Manual.hcomind Reference-Manual.htacind Reference-Manual.herrind
 Reference-Manual.sh
 Anomalies.dvi.gz Anomalies.ps.gz Changes.dvi.gz Changes.ps.gz Library.dvi.gz Library.ps.gz Reference-Manual-addendum.ps.gz Reference-Manual-all.dvi.gz Reference-Manual-all.ps.gz Reference-Manual-base.ps.gz Tutorial.dvi.gz Tutorial.ps.gz
 Reference-Manual-base.dvi.gz
@@ -28,4 +30,6 @@ config.cache
 config.status
 Reference-Manual.rel
 library.files
+library.files.ls
+library.files.ls.tmp
 library.coqweb.tex
-- 
cgit v1.2.3