I just noticed on Friday that make docs is missing from make help. I will submit an rfe.
On 2013-03-02, at 10:13, Jonathan Gibbons <[email protected]> wrote: > 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
