add new doc to EXTRA_DIST