Updated EXTRA_DIST in doc.