]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 809e7e2) | patch
Fix display of <command> elements on man pages
authorPeter Eisentraut <peter_e@gmx.net>
Mon, 30 Apr 2012 18:12:28 +0000 (21:12 +0300)
committerPeter Eisentraut <peter_e@gmx.net>
Mon, 30 Apr 2012 18:18:03 +0000 (21:18 +0300)
commit61c84b47619c11e74089cb3160813a4b3c98e6d7
treece9e1adfd1ab7c5a0284285aceb428e60b74ac42tree | snapshot
parent809e7e21af8cd24855f1802524a13bbaa823f929commit | diff
Fix display of <command> elements on man pages

We had changed this from the default bold to monospace for all output
formats, but for man pages, this creates visual inconsistencies, so
revert to the default for man pages.
doc/src/sgml/stylesheet-common.xsl diff | blob | history
doc/src/sgml/stylesheet-fo.xsl diff | blob | history
doc/src/sgml/stylesheet-hh.xsl diff | blob | history
doc/src/sgml/stylesheet.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.