Fix a forgotten new IDREF

This commit is contained in:
Pierre Labastie 2020-03-29 20:35:52 +00:00
parent 04de9bc4db
commit a2b56892e4

View file

@ -94,7 +94,7 @@
otherwise it is in /bin.--> otherwise it is in /bin.-->
<xsl:variable name="bashdir"> <xsl:variable name="bashdir">
<xsl:choose> <xsl:choose>
<xsl:when test="//sect1[@id='ch-tools-creatingtoolsdir']"> <xsl:when test="//sect1[@id='ch-preps-creatingtoolsdir']">
<xsl:text>/tools</xsl:text> <xsl:text>/tools</xsl:text>
</xsl:when> </xsl:when>
<xsl:otherwise> <xsl:otherwise>