Re: make everything target

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