Added link to profiling documentation

diff --git a/xsl/docsrc/documentation.xml b/xsl/docsrc/documentation.xml
index 8793e1dc5870522071a6f6656f782100509671b6..cfae765d37d9e3f4675a1c3a9f574a80d22be735 100644 (file)
--- a/xsl/docsrc/documentation.xml
+++ b/xsl/docsrc/documentation.xml
@@ -42,8 +42,8 @@ Stylesheets.</para>
 directory <filename>tools</filename>.</para>
 
 <itemizedlist>
-<listitem><para><olink type="title" localinfo="tools/profiling.html"
-                       targetdocent="tools-profiling.xml"/></para>
+<listitem>
+<para><ulink url="tools/profiling.html">Profiling</ulink></para>
 </listitem>
 </itemizedlist>