The documentation posted at http://www.postgresql.org/docs/ should be
rebuilt when a minor release of the respective branch is made.
Otherwise, all the fixes we put into the documentation for minor
releases plus the respective release notes partially go to waste.
