building docs (extension of partial build)

[Magnus Ihse Bursie]

On 2012-09-18 20:04, Jonathan Gibbons wrote:
> Build-infra folk,
>
> Is there a way to build (just) the docs?  I don't see any obvious 
> targets in common/makefiles/Makefile?

"make docs", works in the current build-infra. Not sure if that one got 
along with Kelly's latest changes.

It's a work in progress, mind you. I'm not sure if it produces anything 
usable at the moment. :-)

/Magnus