summaryrefslogtreecommitdiff
path: root/doc/src
diff options
context:
space:
mode:
authorAndrew Dunstan <andrew@dunslane.net>2021-07-01 14:21:09 -0400
committerAndrew Dunstan <andrew@dunslane.net>2021-07-01 15:15:09 -0400
commit100e9ae53f210c9e82671f1cc554aca945c4c180 (patch)
tree74e1c761c93cbcfec8ea08ad8b83b00ab8589197 /doc/src
parentd0477080174b227e6f5cbe0dd10c4d79abb7f3e6 (diff)
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
Diffstat (limited to 'doc/src')
-rw-r--r--doc/src/sgml/installation.sgml15
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 3c0aa118c76..40192b4816f 100644
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -473,6 +473,15 @@ All of PostgreSQL successfully made. Ready to install.
<screen>
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>
@@ -552,6 +561,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