passe sur les labels et les refs dans chapitres tactiques

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8414 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/RefMan-tus.tex b/doc/RefMan-tus.tex
index d296c0b47b..8be5c9635c 100755
--- a/doc/RefMan-tus.tex
+++ b/doc/RefMan-tus.tex
@@ -771,7 +771,7 @@ arguments for tactics is a union type including:
 \item well-typed terms, represented by a construction;
 \item a substitution for bound variables, like the
 substitution in the tactic \\$\texttt{Apply}\;t\;\texttt{with}\;x:=t_1\ldots
-x_n:=t_n$, (cf. Section \ref{Apply});
+x_n:=t_n$, (cf. Section~\ref{apply});
 \item a reduction expression, denoting the reduction strategy to be
 followed.
 \end{itemize}