Обсуждение: pgsql: Add new make targets world-bin and install-world-bin
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 Branch ------ REL_14_STABLE Details ------- https://git.postgresql.org/pg/commitdiff/100e9ae53f210c9e82671f1cc554aca945c4c180 Modified Files -------------- GNUmakefile.in | 10 ++++++++++ doc/src/sgml/installation.sgml | 15 +++++++++++++++ 2 files changed, 25 insertions(+)
On 7/1/21 3:15 PM, Andrew Dunstan wrote: > 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 > *sigh* docs build broken. Fixing ... cheers andrew -- Andrew Dunstan EDB: https://www.enterprisedb.com