From 40cd2418ddaf543c02426ca8bdd2bc2ebc4cba01 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 3 Mar 2006 16:33:08 +0000
Subject: Inutile en svn

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8612 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/.cvsignore | 39 ---------------------------------------
 1 file changed, 39 deletions(-)
 delete mode 100644 doc/.cvsignore

(limited to 'doc')

diff --git a/doc/.cvsignore b/doc/.cvsignore
deleted file mode 100644
index b56727b623..0000000000
--- a/doc/.cvsignore
+++ /dev/null
@@ -1,39 +0,0 @@
-version.tex
-*.blg
-*.ind
-*.ilg
-*.v.tex
-*.pdf
-euclid.ml*
-heapsort.ml*
-avl.ml
-*.bbl
-www
-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
-Reference-Manual-addendum.dvi.gz
-Tutorial.pdf.gz
-Reference-Manual.pdf.gz
-Library.pdf.gz
-Changes.pdf.gz
-auto
-all-ps-docs.tar
-doc-html.tar.gz
-all-ps-docs.tar.gz
-config.cache
-config.status
-Reference-Manual.rel
-library.files
-library.files.ls
-library.files.ls.tmp
-library.coqweb.tex
-tradv8
-coqide.eps
-coqide-queries.eps
-- 
cgit v1.2.3