Re: pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui

pgsql: Add new make targets world-bin and install-world-bin

2021-07-01 Thread Andrew Dunstan
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 bui