mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-09-15 13:10:21 +02:00
doc: Work around stylesheet bug for man build
The upstream stylesheets for man output insert a *roff comment for an occurrence of an indexterm, for reasons that have apparently been lost in history. This, however, is done incorrectly and causes some formatting problems. This hasn't been an issue until now, but the reorganization of indexterm elements inside variablelists has triggered this issue. The upstream fix (http://sourceforge.net/p/docbook/bugs/1340/) is to drop indexterms altogether in man output, and so we'll do the same here.
This commit is contained in:
parent
364f7cd4b6
commit
3d5ba5395a
@ -180,6 +180,10 @@
|
|||||||
</xsl:template>
|
</xsl:template>
|
||||||
|
|
||||||
|
|
||||||
|
<!-- http://sourceforge.net/p/docbook/bugs/1340/ -->
|
||||||
|
<xsl:template match="indexterm"/>
|
||||||
|
|
||||||
|
|
||||||
<!-- Gentext customization -->
|
<!-- Gentext customization -->
|
||||||
|
|
||||||
<!-- see http://www.sagehill.net/docbookxsl/CustomGentext.html -->
|
<!-- see http://www.sagehill.net/docbookxsl/CustomGentext.html -->
|
||||||
|
Loading…
Reference in New Issue
Block a user