"David G. Johnston" <[email protected]> writes:
> On Wednesday, January 22, 2025, Daniel Gustafsson <[email protected]> wrote:
>> On 22 Jan 2025, at 11:23, Daniel Gustafsson <[email protected]> wrote:
>>> On 22 Jan 2025, at 09:27, Robin Dupret <[email protected]> wrote:
>>>> - special provision: you must write
>>>> + special provision you must write:
>> Re-reading it I think both placements of ':' are grammatically correct (not
>> being a native speaker might trick me).
> The colon does belong after provision, not write. If the colon is
> bothersome rewrite to avoid it altogether. But the status quo works for me.
I agree: removing the colon from where it is is strictly worse.
There should be some kind of pause or separation there.
Conceivably we could do
- special provision: you must write
+ special provision. You must write:
But like David, I don't feel a need to change anything here. There
are many places in our docs where we flow into a <programlisting> or
similar block without punctuation, and most of them read just fine
to me.
regards, tom lane
