wrong output column title in example

On 2020-06-21 18:21, PG Doc comments form wrote:

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/12/arrays.html
Description:

In the last code block in "8.15.5. Searching in Arrays", the column
title in
the output is "array_positions" for both examples, but it should be
"array_position" for the second example.

Here is a doc fix/patch.

Erik Rijkers

On 21 Jun 2020, at 21:07, Erik Rijkers <er@xs4all.nl> wrote:

On 2020-06-21 18:21, PG Doc comments form wrote:

The following documentation comment has been logged on the website:
Page: https://www.postgresql.org/docs/12/arrays.html
Description:
In the last code block in "8.15.5. Searching in Arrays", the column title in
the output is "array_positions" for both examples, but it should be
"array_position" for the second example.

Here is a doc fix/patch.

While clearly in nitpicking territory, this isn't entirelty right either as the
number of dashes needs to be updated to reflect the attr name. Looking it, the
output also has incorrect indentation and lacks the "(1 row)" stanza which we
tend to include when showing psql output as <programlisting>. The attached
fixes these things too.

cheers ./daniel

Daniel Gustafsson <daniel@yesql.se> writes:

On 21 Jun 2020, at 21:07, Erik Rijkers <er@xs4all.nl> wrote:

Here is a doc fix/patch.

While clearly in nitpicking territory, this isn't entirelty right either as the
number of dashes needs to be updated to reflect the attr name. Looking it, the
output also has incorrect indentation and lacks the "(1 row)" stanza which we
tend to include when showing psql output as <programlisting>. The attached
fixes these things too.

Pushed to HEAD and v13. (The error seems old, but it's also so trivial
that it didn't seem worth pushing further back.)

regards, tom lane