From c6448d51b25bd9826e98969290f49088405e1cf3 Mon Sep 17 00:00:00 2001
From: wisberg <wisberg>
Date: Thu, 5 May 2005 21:47:56 +0000
Subject: [PATCH] naming ajdoc to make linking easier

---
 docs/devGuideDB/ajdoc.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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>
-- 
2.39.5