You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Andrew Dunstan b8c4261e5e 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		4 years ago
..
src	Add new make targets world-bin and install-world-bin	4 years ago
KNOWN_BUGS	…
MISSING_FEATURES	…
Makefile	…
TODO	…