From f4ffc48558deae256d3e3ba2d40e22e02d3d9dc9 Mon Sep 17 00:00:00 2001
From: Norman Walsh <ndw@nwalsh.com>
Date: Mon, 13 Aug 2001 21:38:43 +0000
Subject: [PATCH] Added link to profiling documentation

---
 xsl/docsrc/documentation.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/xsl/docsrc/documentation.xml b/xsl/docsrc/documentation.xml
index 8793e1dc5..cfae765d3 100644
--- 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>
 
-- 
2.40.0