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/[email protected] Branch ------ REL_13_STABLE Details ------- https://git.postgresql.org/pg/commitdiff/bd0be7f7a42fa84fd9fb770117c9f7c1238a05b1 Modified Files -------------- GNUmakefile.in | 10 ++++++++++ doc/src/sgml/installation.sgml | 15 +++++++++++++++ 2 files changed, 25 insertions(+)
