From: Peter Eisentraut Date: Sun, 17 Aug 2014 13:10:28 +0000 (-0400) Subject: doc: Work around stylesheet bug for man build X-Git-Tag: REL9_4_BETA3~103 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3d5ba5395aa0437c45441d2ca7b0973cbd060305;p=postgresql 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. --- diff --git a/doc/src/sgml/stylesheet-man.xsl b/doc/src/sgml/stylesheet-man.xsl index 66d6733899..1feb4f5ec0 100644 --- a/doc/src/sgml/stylesheet-man.xsl +++ b/doc/src/sgml/stylesheet-man.xsl @@ -180,6 +180,10 @@ + + + +