Re: make clean-docs

[Erik Joelsson]

Yes, it has been noted and I created a bug for it while back. I was 
missing it myself just yesterday so it should happen anytime now. :)

/Erik
On 2015-03-05 03:13, Jonathan Gibbons wrote:
Build team,

Given the versatility of "make clean" and friends, I was surprised 
that "make clean-docs" did not appear to be supported.

-- Jon