diff options
| author | herbelin | 2001-10-26 15:31:23 +0000 |
|---|---|---|
| committer | herbelin | 2001-10-26 15:31:23 +0000 |
| commit | 271f7a80e6f9f22fbe1bdc46af8e3261094a908c (patch) | |
| tree | 1a1e8e2d3355e57bbe63a1fa05fb2bd24391aa9f /doc | |
| parent | 8e4bae42945669970a2724a1977d85c2763d7661 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8255 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.cvsignore | 4 |
1 files changed, 4 insertions, 0 deletions
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 |