1 files changed, 0 insertions, 50 deletions
diff --git a/doc/v8.txt b/doc/v8.txt
deleted file mode 100644
index 24efe89b6..000000000
--- a/doc/v8.txt
+++ /dev/null
@@ -1,50 +0,0 @@
-
-Anomalies.tex
-
-faq.tex 
-
-Changes.tex
-ChangesV6-2.tex
-ChangesV6-3-1.tex 
-ChangesV6-3.tex 
-ChangesV7-0.tex
-
-macros.tex
-title.tex
-
-Tutorial-cover.tex 
-Tutorial.tex
-
-Reference-Manual.tex 
-RefMan-add.tex
-RefMan-cas.tex 
-RefMan-cic.tex
-RefMan-coi.tex
-RefMan-com.tex
-RefMan-cover.tex 
-RefMan-ext.tex 
-RefMan-gal.tex 
-RefMan-ind.tex
-RefMan-int.tex
-RefMan-lib.tex
-RefMan-ltac.tex 
-RefMan-mod.tex 
-RefMan-modr.tex 
-RefMan-oth.tex 
-RefMan-pre.tex
-RefMan-pro.tex
-RefMan-syn.tex
-RefMan-tac.tex 
-RefMan-tacex.tex 
-RefMan-tus.tex
-RefMan-uti.tex
-AddRefMan-pre.tex 
-Cases.tex 
-Coercion.tex 
-Correctness.tex 
-Extraction.tex
-Library.tex
-Omega.tex 
-Polynom.tex 
-Setoid.tex 
-