On Wed, Aug 3, 2016 at 11:35 AM, Glenn Morris <rgm@gnu.org> wrote:

> AUTHORS is a generated file and should not be edited directly.
> Changes will be lost the next time it is regenerated.
> Instead edit admin/authors.el, or fix the ChangeLogs.
> Probably you want authors-fixed-entries in this case.
>

​Ok.  Why not add a sentence at the top of the generated file that says,
This is an auto-generated file, don't edit this, edit admin/authors.el​ to
avoid any question in the future.

Bob