They are now included in the projects, so each .a file has a standalone complete package of all documentation.