Manual(s) fixed and committed to avoid rebuilding them in dune

[helm.git] / matita / matita / help / C / xsl / tactic_quickref.xsl

diff --git a/matita/matita/help/C/xsl/tactic_quickref.xsl b/matita/matita/help/C/xsl/tactic_quickref.xsl
index 3a46261e0783937c4841fb519cd6ead5f44786e8..b324bc40fc134d043813da300dccabffb3cf73ca 100644 (file)
--- a/matita/matita/help/C/xsl/tactic_quickref.xsl
+++ b/matita/matita/help/C/xsl/tactic_quickref.xsl
@@ -27,6 +27,9 @@
     <xsl:variable name="tactic">
       <xsl:value-of select="ancestor::sect1/title" />
     </xsl:variable>
+    <xsl:variable name="tactic_id">
+      <xsl:value-of select="ancestor::sect1/@id" />
+    </xsl:variable>
 
     <row>
       <entry>
@@ -54,8 +57,7 @@
            <xsl:when test="string(.) = $tactic">
              <xsl:element name="link">
                <xsl:attribute name="linkend">
-                 <xsl:text>tac_</xsl:text>
-                 <xsl:value-of select="$tactic" />
+                 <xsl:value-of select="$tactic_id" />
                </xsl:attribute>
                <xsl:copy-of select="." />
              </xsl:element>