diff options
| author | Peter Eisentraut | 2014-08-17 13:10:28 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2014-08-17 13:10:28 +0000 |
| commit | 1330e2922c7f7d42780109247c28ad50a790f96c (patch) | |
| tree | b66f0b07290ff523a27250ddfed14917e78ea1df /doc/src | |
| parent | 737cdc2d1412f3e4115137ca6fa14d1b3c39dcbc (diff) | |
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.
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/stylesheet-man.xsl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/src/sgml/stylesheet-man.xsl b/doc/src/sgml/stylesheet-man.xsl index 66d6733899a..1feb4f5ec06 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -180,6 +180,10 @@ </xsl:template> + <!-- http://sourceforge.net/p/docbook/bugs/1340/ --> + <xsl:template match="indexterm"/> + + <!-- Gentext customization --> <!-- see http://www.sagehill.net/docbookxsl/CustomGentext.html --> |