doc: Clarify the errhint example
authorDaniel Gustafsson <dgustafsson@postgresql.org>
Wed, 12 Jul 2023 17:38:51 +0000 (19:38 +0200)
committerDaniel Gustafsson <dgustafsson@postgresql.org>
Wed, 12 Jul 2023 17:38:51 +0000 (19:38 +0200)
commite68dd9e9073521235bf71be3f9d7028492bd3bbc
tree32f4977742083714c138351df573ea50f1b6db0f
parentc8e43c22be271096809e561482084c6fb83e0708
doc: Clarify the errhint example

The errhint example wasn't using the mandated style for errhint
which was needlessly confusing.  Fix by rewriting it using the
mandated style.

Reported-by: Andres Freund <andres@anarazel.de>
Reviewed-by: Gurjeet Singh <gurjeet@singh.im>
Reviewed-by: Jonathan S. Katz <jkatz@postgresql.org>
Discussion: https://postgr.es/m/F02F4B4F-7B7E-406A-B25A-FF2AA300AB9A@yesql.se
doc/src/sgml/sources.sgml