* make-dist: Add '--no-info' option.