From 969960955ce30590ee6ec6dd4427cf2c059924d0 Mon Sep 17 00:00:00 2001 From: Samay Sharma Date: Mon, 13 Feb 2023 16:57:07 -0800 Subject: [PATCH v8 4/5] Re-organize Miscellaneous section Move Miscellaneous section to the end of the options section after all the named sections. --- doc/src/sgml/installation.sgml | 163 +++++++++++++++++---------------- 1 file changed, 82 insertions(+), 81 deletions(-) diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index 9c7ee91cb9..140b1f518f 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -1371,51 +1371,6 @@ build-postgresql: - - Miscellaneous - - - It's fairly common, particularly for test builds, to adjust the - default port number with . - The other options in this section are recommended only for advanced - users. - - - - - - - - - Set NUMBER as the default port number for - server and clients. The default is 5432. The port can always - be changed later on, but if you specify it here then both - server and clients will have the same default compiled in, - which can be very convenient. Usually the only good reason - to select a non-default value is if you intend to run multiple - PostgreSQL servers on the same machine. - - - - - - - - - The default name of the Kerberos service principal used - by GSSAPI. - postgres is the default. There's usually no - reason to change this unless you are building for a Windows - environment, in which case it must be set to upper case - POSTGRES. - - - - - - - - Data layout Options @@ -1689,6 +1644,51 @@ build-postgresql: + + Miscellaneous + + + It's fairly common, particularly for test builds, to adjust the + default port number with . + The other options in this section are recommended only for advanced + users. + + + + + + + + + Set NUMBER as the default port number for + server and clients. The default is 5432. The port can always + be changed later on, but if you specify it here then both + server and clients will have the same default compiled in, + which can be very convenient. Usually the only good reason + to select a non-default value is if you intend to run multiple + PostgreSQL servers on the same machine. + + + + + + + + + The default name of the Kerberos service principal used + by GSSAPI. + postgres is the default. There's usually no + reason to change this unless you are building for a Windows + environment, in which case it must be set to upper case + POSTGRES. + + + + + + + + @@ -2837,42 +2837,6 @@ ninja install - - Miscellaneous - - - - - - - Set NUMBER as the default port number for - server and clients. The default is 5432. The port can always - be changed later on, but if you specify it here then both - server and clients will have the same default compiled in, - which can be very convenient. Usually the only good reason - to select a non-default value is if you intend to run multiple - PostgreSQL servers on the same machine. - - - - - - - - - The default name of the Kerberos service principal used - by GSSAPI. - postgres is the default. There's usually no - reason to change this unless you are building for a Windows - environment, in which case it must be set to upper case - POSTGRES. - - - - - - - Data layout Options @@ -3135,6 +3099,43 @@ ninja install + + + Miscellaneous + + + + + + + Set NUMBER as the default port number for + server and clients. The default is 5432. The port can always + be changed later on, but if you specify it here then both + server and clients will have the same default compiled in, + which can be very convenient. Usually the only good reason + to select a non-default value is if you intend to run multiple + PostgreSQL servers on the same machine. + + + + + + + + + The default name of the Kerberos service principal used + by GSSAPI. + postgres is the default. There's usually no + reason to change this unless you are building for a Windows + environment, in which case it must be set to upper case + POSTGRES. + + + + + + + -- 2.38.1