diff options
| -rw-r--r-- | doc/.cvsignore | 39 |
1 files changed, 0 insertions, 39 deletions
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 |