From 35a025338e6e8feb75417fe6150094cecc2c9093 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Thu, 2 Jul 2009 15:33:08 +0200
Subject: [PATCH] add an anchor for each generate documentation for a
 GlobalValue

---
 utils/print-introspected-doxygen.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/utils/print-introspected-doxygen.cc b/utils/print-introspected-doxygen.cc
index 4aba6acef..0928a27d1 100644
--- a/utils/print-introspected-doxygen.cc
+++ b/utils/print-introspected-doxygen.cc
@@ -402,7 +402,7 @@ int main (int argc, char *argv[])
     {
       StringValue val;
       (*i)->GetValue (val);
-      std::cout << "  <li><b>" << (*i)->GetName () << "</b>: " << (*i)->GetHelp () << "(" << val.Get () << ")</li>" << std::endl;
+      std::cout << "  <li><b>\\anchor GlobalValue" << (*i)->GetName () << " " << (*i)->GetName () << "</b>: " << (*i)->GetHelp () << "(" << val.Get () << ")</li>" << std::endl;
     }
   std::cout << "</ul>" << std::endl
 	    << "*/" << std::endl;