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