diff options
| -rw-r--r-- | doc/src/sgml/stylesheet-man.xsl | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/src/sgml/stylesheet-man.xsl b/doc/src/sgml/stylesheet-man.xsl index f5c890ef609..66d6733899a 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -173,6 +173,13 @@ </xsl:template> + <!-- https://sourceforge.net/tracker/?func=detail&aid=3545150&group_id=21935&atid=373747 --> + <xsl:template match="step/title"> + <xsl:apply-templates/> + <xsl:text>: </xsl:text> + </xsl:template> + + <!-- Gentext customization --> <!-- see http://www.sagehill.net/docbookxsl/CustomGentext.html --> |