]> granicus.if.org Git - postgresql/commit
doc: Work around stylesheet bug for man build
authorPeter Eisentraut <peter_e@gmx.net>
Sun, 17 Aug 2014 13:10:28 +0000 (09:10 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Sun, 17 Aug 2014 13:14:32 +0000 (09:14 -0400)
commit3d5ba5395aa0437c45441d2ca7b0973cbd060305
treed0b0316f4d090acf002f5a09d2eb381441b3d7a4
parent364f7cd4b6d2bb89be55c8915fcd08b69b5eb84e
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.
doc/src/sgml/stylesheet-man.xsl