Deleted the "docs for how to build the docs" since this is now just a
simple `make docs`, as for all our projects.