Suppression de 'Print.' en v8

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

1 files changed, 5 insertions, 4 deletions

diff --git a/doc/RefMan-oth.tex b/doc/RefMan-oth.tex
index 60930ec06..47438d9c5 100644
--- a/doc/RefMan-oth.tex
+++ b/doc/RefMan-oth.tex
@@ -44,10 +44,11 @@ environment, including sections and modules.
 \item {\tt Print Section {\ident}.}\comindex{Print Section}\\
 should correspond to a currently open section, this command
 displays the objects defined since the beginning of this section.
-\item {\tt Print.}\comindex{Print}\\
-This command displays the axioms and variables declarations in the
-environment as well as the constants defined since the last variable
-was introduced.
+% Discontinued
+%% \item {\tt Print.}\comindex{Print}\\
+%% This command displays the axioms and variables declarations in the
+%% environment as well as the constants defined since the last variable
+%% was introduced.
 \end{Variants}
 
 \section{Requests to the environment}