Changeset 85d7b85 for doc/user-guide/docbook.xsl

Timestamp:

2008-04-02T14:22:57Z (16 years ago)

Author:

Jelmer Vernooij <jelmer@…>

Branches:

master

Children:

f9dbc99

Parents:

875ad42 (diff), dd34575 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge trunk.

File:

• doc/user-guide/docbook.xsl (modified) (1 diff)

doc/user-guide/docbook.xsl

@@ -83 +83 @@
 
         <xsl:template name="cmd">
+                <xsl:param name="prefix"/>
                 <xsl:variable name="thiscmd"><xsl:value-of select="$prefix"/><xsl:value-of select="@name"/></xsl:variable>
                 <xsl:attribute name="id">