diff options
| author | Andrew Dunstan <andrew@dunslane.net> | 2021-07-01 14:51:54 -0400 |
|---|---|---|
| committer | Andrew Dunstan <andrew@dunslane.net> | 2021-07-01 15:11:53 -0400 |
| commit | cbd5d7c852dcab56c7907ba07d45ef97eb28e158 (patch) | |
| tree | 76b07527962ab6af0bbcbaae7483f16c1192eb07 /src/tutorial | |
| parent | d173a469922074778cbfecbebcb5020b10c03b0f (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 'src/tutorial')
0 files changed, 0 insertions, 0 deletions