EXTRA_DIST=HISTORY FOR.MORE.INFO