mirror of
https://github.com/postgres/postgres.git
synced 2025-08-31 17:02:12 +03:00
It isn't, now that we ship the docs as loose files rather than a sub-tarball. Also adjust the wording in a couple of places to make the lists of required software read more consistently.