Minor documentation fixes

2022-09-27 Thread Elena Indrupskaya
Hello everybody, My colleagues from the Postgres Pro documentation team and I noticed a few minor inconsistencies in recently updated sections of the PostgreSQL 15 documentation. The attached patch fixes them. Two contributor names in the Release Notes are changed to match the names of

Re: DocBook 5.2

2022-09-27 Thread Jürgen Purtz
Yeah, I think we'd have to convert all the supported versions to make this palatable. If the conversion is sufficiently automated, that might not be a big lift. (If it's*not* automated, I think the change would never get off the ground even for HEAD, because the docs are too much of a moving