On May 31, 2013, at 3:50 PM, Igor Galić wrote:
>
>
> - Original Message -
>> Updated Branches:
>> refs/heads/master f697d0dbc -> 37aabf5e7
>>
>>
>> TS-1929: fix sphinx documentation build
>>
>> The sphinx documentation was using GNU make extensions for recursive
>
> since we alread
- Original Message -
> Updated Branches:
> refs/heads/master f697d0dbc -> 37aabf5e7
>
>
> TS-1929: fix sphinx documentation build
>
> The sphinx documentation was using GNU make extensions for recursive
since we already require GNU make to build the rest of the system,
wouldn't it m