1 files changed, 2 insertions, 7 deletions
diff --git a/Makefile.doc b/Makefile.doc
index 4a247f1d9..a8b5376a6 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -59,16 +59,11 @@ DOCCOMMON:=doc/common/version.tex doc/common/title.tex doc/common/macros.tex
 REFMANCOQTEXFILES:=$(addprefix doc/refman/, \
   RefMan-gal.v.tex \
   RefMan-oth.v.tex RefMan-ltac.v.tex \
-  RefMan-pro.v.tex \
-  Coercion.v.tex Extraction.v.tex \
-  Program.v.tex Polynom.v.tex Nsatz.v.tex \
-  Setoid.v.tex Classes.v.tex Universes.v.tex \
-  Misc.v.tex)
+  Universes.v.tex)
 
 REFMANTEXFILES:=$(addprefix doc/refman/, \
   headers.sty Reference-Manual.tex \
-  RefMan-uti.tex \
-  AsyncProofs.tex) \
+  RefMan-uti.tex) \
   $(REFMANCOQTEXFILES) \
 
 REFMANEPSFILES:=doc/refman/coqide.eps doc/refman/coqide-queries.eps