naming ajdoc to make linking easier

diff --git a/docs/devGuideDB/ajdoc.xml b/docs/devGuideDB/ajdoc.xml
index 6a64e6d7e65c820727b5a2958c427e8ee605c7b2..cd6ad011d5a30c32ea40f8f125b4cd63a04de832 100644 (file)
--- 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>