From 07175f1dddc4c6836098a691bc66f5d315d6321f Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 28 Dec 2003 22:01:57 +0000
Subject: Ajout ref About

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

(limited to 'doc')

diff --git a/doc/RefMan-oth.tex b/doc/RefMan-oth.tex
index a8623f04f..e065d54ed 100644
--- a/doc/RefMan-oth.tex
+++ b/doc/RefMan-oth.tex
@@ -19,6 +19,7 @@ This is a synonym to {\tt Print {\qualid}} when {\qualid} denotes a
 global constant. 
 
 \item {\tt About {\qualid}.}
+\label{About}
 \comindex{About}\\ 
 This displays various informations about the object denoted by {\qualid}:
 its kind (module, constant, assumption, inductive,
-- 
cgit v1.2.3