I wrote:
>
>
> Alvaro Herrera wrote:
>> Andrew Dunstan wrote:
>>
>>> Alvaro Herrera wrote:
>>>
>>>> "make world" sounds reasonable and I've remember seeing it elsewhere.
>>>>
>>> Here's a simple patch. Comments?
>>>
>>
>> Should the new targets be added to Makefile too?
>>
>>
>
> Sure, good idea.
>
>
One more thing: do we want the new targets "world" and "install-world"
documented, or just left for developers?
cheers
andrew