diff --git a/doc/xml/release.xml b/doc/xml/release.xml index b10bfb3ea..ec36fd472 100644 --- a/doc/xml/release.xml +++ b/doc/xml/release.xml @@ -47,6 +47,20 @@ + + + + + + + + + + +

Clarify preference to install from packages in the user guide.

+
+
+
@@ -12408,6 +12422,11 @@ hunleyd + + dr-kd + dr-kd + + Efremov Egor kolbasky diff --git a/doc/xml/user-guide.xml b/doc/xml/user-guide.xml index 08343bc85..1440271de 100644 --- a/doc/xml/user-guide.xml +++ b/doc/xml/user-guide.xml @@ -558,7 +558,13 @@ -

needs to be installed from a package or installed manually as shown here.

+

Installing from a package is preferable to building from source. When installing from a package the rest of the instructions in this section are generally not required, but it is possible that a package will skip creating one of the directories or apply incorrect permissions. In that case it may be necessary to manually create directories or update permissions.

+ +

{[user-guide-os]} packages for are available at apt.postgresql.org.

+ +

{[user-guide-os]} packages for are available from Crunchy Data or yum.postgresql.org.

+ +

If packages are not provided for your distribution/version you can build from source and then install manually as shown here.

Install dependencies @@ -978,9 +984,7 @@
Build -

{[user-guide-os]} packages for are available at apt.postgresql.org. If they are not provided for your distribution/version it is easy to download the source and install manually.

- -

{[user-guide-os]} packages for are available from Crunchy Data or yum.postgresql.org, but it is also easy to download the source and install manually.

+

Installing from a package is preferable to building from source. See Installation for more information about packages.