Add all docs to EXTRA_DIST