doc: Use proper markup for emphasis
authorPeter Eisentraut <peter@eisentraut.org>
Sun, 9 Jul 2023 08:02:15 +0000 (10:02 +0200)
committerPeter Eisentraut <peter@eisentraut.org>
Sun, 9 Jul 2023 08:02:15 +0000 (10:02 +0200)
commit3c963d33eae8dcbac0bc2e1dc0b7c1ac931dd83f
tree8ff0ba9db7e4a00c10db5b4b2ae1cbfe55db36a1
parentbe2ab58f6227ef8ea341c3d9b9f99d53d56529a9
doc: Use proper markup for emphasis
doc/src/sgml/config.sgml