Getting rid of checked-in generated documentation

If you want docs:

     make docs

That's the Right Way(tm) if you ask me.