1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc
index 7c68e5d8e..df1e2d3c4 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -68,7 +68,7 @@ REFMANCOQTEXFILES:=$(addprefix doc/refman/, \
 REFMANTEXFILES:=$(addprefix doc/refman/, \
   headers.sty Reference-Manual.tex \
   RefMan-uti.tex \
-  AsyncProofs.tex RefMan-ssr.tex) \
+  AsyncProofs.tex) \
   $(REFMANCOQTEXFILES) \
 
 REFMANEPSFILES:=doc/refman/coqide.eps doc/refman/coqide-queries.eps