Turn off procedure number when formal.procedures = 0.

diff --git a/xsl/common/labels.xsl b/xsl/common/labels.xsl
index 85a7f6cbff35bbe24e15a0ebac7ac8bc8d62ca66..fba2d7189cc91a2eb843536bbdad37c48cae1fad 100644 (file)
--- a/xsl/common/labels.xsl
+++ b/xsl/common/labels.xsl
@@ -511,6 +511,10 @@ element label.</para>
     <xsl:when test="@label">
       <xsl:value-of select="@label"/>
     </xsl:when>
+    <xsl:when test="local-name() = 'procedure' and
+                    $formal.procedures = 0">
+      <!-- No label -->
+    </xsl:when>
     <xsl:otherwise>
       <xsl:choose>
         <xsl:when test="count($pchap)>0">