* make-dist: Abort if "make ChangeLog" fails. Add "--no-changelog".
commitf0352ebdf088bea19b44ddb31e94888bc2345a24
authorGlenn Morris <rgm@gnu.org>
Tue, 12 May 2015 00:29:06 +0000 (11 20:29 -0400)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 May 2015 00:29:06 +0000 (11 20:29 -0400)
treedd0260752046a48d4c74bb4c320539e971faf45f
parent0a21b26c58a241ac41cd12cd10cd605238bb2640
* make-dist: Abort if "make ChangeLog" fails.  Add "--no-changelog".
make-dist