make clean-docs

[Jonathan Gibbons]

Build team,

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

-- Jon