X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fhelp%2FC%2Fxsl%2Ftactic_quickref.xsl;h=b324bc40fc134d043813da300dccabffb3cf73ca;hb=d29fd4947ea4551f1fa078e56ed2a21b4515536f;hp=3a46261e0783937c4841fb519cd6ead5f44786e8;hpb=a19551fd50df93951d78eea4c163d434f844047c;p=helm.git

diff --git a/matita/matita/help/C/xsl/tactic_quickref.xsl b/matita/matita/help/C/xsl/tactic_quickref.xsl
index 3a46261e0..b324bc40f 100644
--- 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>