Tom Lane <t...@sss.pgh.pa.us> wrote: > On 2021-May-07, Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote: >> I think there's more to this than just changing or removing the version >> number; a better approach might be to update the documentation so that >> it matches what current versions do.
>Yeah. The reason why a specific version is mentioned is exactly that >the details tend to change. Thanks for your kindly explanation on the usage of version number in Doc. In fact, I noticed the different context in the examples among different PG version like "increment sort" which was newly introduced in PG13. The fix I mentioned at the previous mail(change "using 9.3 development sources" to " using current development sources") is meant to tell users to refer to the "current" PG source. E.G. when a user looks at PG13.2's doc, "current" = PG13.2. Since I do think your advice on the fix is more reasonable and friendly, I followed your hint to modify the Doc in the attached patch. Please tell me if there's anything else insufficient. Regards, Tang
0001-Using-current-version-in-Using-EXPLAIN-Doc.patch
Description: 0001-Using-current-version-in-Using-EXPLAIN-Doc.patch