diff options
| author | Peter Eisentraut | 2016-07-17 21:01:07 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2016-07-17 21:01:07 +0000 |
| commit | 7482fc4600ee97f8b2570e87b8c216a83b918065 (patch) | |
| tree | 27f1fe8cbb29c878d8663f7f4b57a7686239a70a | |
| parent | f36ca9af05dd0468cdee28fbdbded690a10ff08b (diff) | |
doc: Supply XSLT template for superscript element in man pages
The default is no decoration, which looks confusing, for example on the
CREATE SEQUENCE man page.
| -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 1feb4f5ec0..e9c407230c 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -40,6 +40,13 @@ </xsl:template> +<!-- Make superscripts visible in man pages (default is no decoration) --> +<xsl:template match="superscript"> + <xsl:text>^</xsl:text> + <xsl:apply-templates/> +</xsl:template> + + <xsl:template match="refentry" mode="xref-to"> <xsl:param name="referrer"/> <xsl:param name="xrefstyle"/> |