]> 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:10:28 +0000 (09:10 -0400)
commit1330e2922c7f7d42780109247c28ad50a790f96c
treeb66f0b07290ff523a27250ddfed14917e78ea1df
parent737cdc2d1412f3e4115137ca6fa14d1b3c39dcbc
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