Re: How to create docs in new build system

[Jonathan Gibbons]

On 03/02/2013 10:00 AM, Boaz Nahum wrote:

make images

doesn't build docs.

How can I have docs built ?

Thank
Boaz

make docs

-- Jon