* make-dist: Abort if "make ChangeLog" fails. Add "--no-changelog".