* admin/update_autogen: Add option to update ChangeLog.
commit22f9e2cee692ef1c24fb6c74cb37faf45bd7cb02
authorGlenn Morris <rgm@gnu.org>
Thu, 7 May 2015 01:35:28 +0000 (6 21:35 -0400)
committerGlenn Morris <rgm@gnu.org>
Thu, 7 May 2015 01:35:28 +0000 (6 21:35 -0400)
treea6f45e73e237e8c828c2c29dd6621a96e9b04a55
parentd45fd912eb7b90ce552db722dbe5893915f0fa1b
* admin/update_autogen: Add option to update ChangeLog.

(usage): Mention -H.
(changelog_flag, changelog_n, changelog_files): New variables.
(main): Check for -H, and maybe run change-history-nocommit.
admin/update_autogen