diff options
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/installation.sgml | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml index 740c5d584b6..e1751b5d2b7 100644 --- a/doc/src/sgml/installation.sgml +++ b/doc/src/sgml/installation.sgml @@ -1591,6 +1591,15 @@ All of PostgreSQL successfully made. Ready to install. 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> </step> <step> @@ -1661,6 +1670,12 @@ PostgreSQL, contrib, and documentation successfully made. Ready to install. </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 |