doc: Use proper markup for emphasis
authorPeter Eisentraut
Sun, 9 Jul 2023 08:02:15 +0000 (10:02 +0200)
committerPeter Eisentraut
Sun, 9 Jul 2023 08:02:56 +0000 (10:02 +0200)
commit25da5cd32f73eec9a7ea9b49fbf04d97059ad402
tree428c8fae7823e2d0e1a7971541d8b32f444a2f45
parent1da1cd2944701d5f6d8e4e9514a4a19b0fdf852a
doc: Use proper markup for emphasis
doc/src/sgml/config.sgml