From: wisberg <wisberg>
Date: Thu, 5 May 2005 21:47:56 +0000 (+0000)
Subject: naming ajdoc to make linking easier
X-Git-Tag: PRE_ANDY~372
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=c6448d51b25bd9826e98969290f49088405e1cf3;p=aspectj.git

naming ajdoc to make linking easier
---

diff --git a/docs/devGuideDB/ajdoc.xml b/docs/devGuideDB/ajdoc.xml
index 6a64e6d7e..cd6ad011d 100644
--- a/docs/devGuideDB/ajdoc.xml
+++ b/docs/devGuideDB/ajdoc.xml
@@ -1,5 +1,5 @@
-<refentry>
-  <refnamediv>
+<refentry id="ajdoc-ref" xreflabel="The ajdoc Command-line Reference">  
+<refnamediv>
     <refname>ajdoc</refname>
     <refpurpose>generate HTML API documentation, including crosscutting structure (early-access)
     </refpurpose>