1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.doc b/Makefile.doc
index 51ac734299..55d5d77ce7 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -47,7 +47,7 @@ rectutorial:\
 ### Implicit rules
 ######################################################################
 
-%.v.tex: %.tex $(COQTEX) $(COQTOP) states
+%.v.tex: %.tex coq
 	(cd `dirname $<`; $(COQSRC)/$(COQTEX) $(COQTEXOPTS) `basename $<`)
 
 %.ps: %.dvi