From 8c5fe67f7319043847cf99a586d140cf87739518 Mon Sep 17 00:00:00 2001
From: notin
Date: Thu, 26 Jun 2008 14:21:50 +0000
Subject: Mauvaise dépendance dans Makefile.doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11180 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3