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.
cheers
andrew