From 236db2df24a3f6c56a55a57451b92000647821c0 Mon Sep 17 00:00:00 2001 From: Jirka Kosek Date: Fri, 14 Apr 2006 18:49:24 +0000 Subject: [PATCH] Fixed bug #1431113. Profiling is now working with JavaHelp. Please note that using $rootid is not fully supported with profiling and JavaHelp yet. --- xsl/javahelp/javahelp.xsl | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/xsl/javahelp/javahelp.xsl b/xsl/javahelp/javahelp.xsl index 1adffd171..c20622c06 100644 --- a/xsl/javahelp/javahelp.xsl +++ b/xsl/javahelp/javahelp.xsl @@ -1,8 +1,10 @@ + exclude-result-prefixes="doc ng db"> @@ -53,10 +55,12 @@ references. In that case you can select appropriate encoding here. - - - - + + + + + + -- 2.40.0