diff options
Diffstat (limited to 'javahelp/profile-javahelp.xsl')
-rw-r--r-- | javahelp/profile-javahelp.xsl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/javahelp/profile-javahelp.xsl b/javahelp/profile-javahelp.xsl index 8133740..734ef7c 100644 --- a/javahelp/profile-javahelp.xsl +++ b/javahelp/profile-javahelp.xsl @@ -34,7 +34,7 @@ <xsl:choose> <xsl:when test="$rootid != ''"> <xsl:choose> - <xsl:when test="count($profiled-nodes//*[@id=$rootid]) = 0"> + <xsl:when test="count($profiled-nodes//*[@id=$rootid or @xml:id=$rootid]) = 0"> <xsl:message terminate="yes"> <xsl:text>ID '</xsl:text> <xsl:value-of select="$rootid"/> @@ -43,7 +43,7 @@ </xsl:when> <xsl:otherwise> <xsl:message>Formatting from <xsl:value-of select="$rootid"/></xsl:message> - <xsl:apply-templates select="$profiled-nodes//*[@id=$rootid]" mode="process.root"/> + <xsl:apply-templates select="$profiled-nodes//*[@id=$rootid or @xml:id=$rootid]" mode="process.root"/> </xsl:otherwise> </xsl:choose> </xsl:when> |