Add new make targets world-bin and install-world-bin

These are the same as world and install-world respectively, but without
building or installing the documentation. There are many reasons for
wanting to be able to do this, including speed, lack of documentation
building tools, and wanting to build other formats of the documentation.
Plans for simplifying the buildfarm client code include using these
targets.

Backpatch to all live branches.

Discussion: https://postgr.es/m/6a421136-d462-b043-a8eb-e75b2861f3df@dunslane.net

1 files changed, 15 insertions, 0 deletions

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index a000ef0f901..c9c9be630d5 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1637,6 +1637,15 @@ PostgreSQL, contrib, and documentation successfully made. Ready to install.
 </screen>
    </para>
 
+  <para>
+   If you want to build everything that can be built, including the
+   additional modules (<filename>contrib</filename>), but without
+   the documentation, type instead:
+<screen>
+<userinput>make world-bin</userinput>
+</screen>
+   </para>
+
    <para>
     If you want to invoke the build from another makefile rather than
     manually, you must unset <varname>MAKELEVEL</varname> or set it to zero,
@@ -1714,6 +1723,12 @@ build-postgresql:
    </para>
 
    <para>
+    If you built the world without the documentation above, type instead:
+<screen>
+<userinput>make install-world-bin</userinput>
+   </para>
+
+   <para>
     You can use <literal>make install-strip</literal> instead of
     <literal>make install</literal> to strip the executable files and
     libraries as they are installed.  This will save some space.  If