Justin Pryzby <pry...@telsasoft.com> writes: > On Tue, Apr 20, 2021 at 09:07:52PM +0200, Erik Rijkers wrote: >> I just happened to use the website-documentation and noticed that there the >> change is not done: it still has the erroneous line, in the docs of 13 >> (current), and 12; the docs of 14devel are apparently updated. >> >> That makes me wonder: is there a regular html-docs-update (dayly? weekly?) >> of doc-bugs of this kind in the website-docs of current and earlier releases?
> Looking at the doc "HOME", it says: > https://www.postgresql.org/docs/13/index.html > | PostgreSQL 13.2 Documentation > So this seems to be updated for minor releases. Yeah. The website's copy of the devel version of the docs is refreshed quickly (within a few hours of commit, usually) but released branches are only updated when there's a release. regards, tom lane