Copyright-paperwork-exempt

[Bruno Haible]

Paul Eggert wrote:
> Thanks, I installed that.

> Copyright-paperwork-exempt: true

I see this "Copyright-paperwork-exempt" annotation for the first time.
I like it, since

  * The ChangeLog is meant to record this information [1], but when
    ChangeLogs are generated from git history, this information must
    obviously be stored in git.

  * Several other GNU packages use it already: glibc [2], autoconf [3],
    libtool [4], emacs [5].

  * Its wording is not as confusing as the "tiny change" wording used in
    ChangeLogs.

But I think it would be good to write
  Copyright-paperwork-exempt: yes
(like everyone else does), not
  Copyright-paperwork-exempt: true

If everyone's OK with that, I would note it in the HACKING file, like
it was done in libtool [4].

Bruno

[1] https://www.gnu.org/prep/maintain/html_node/Legally-Significant.html
[2] https://sourceware.org/glibc/wiki/Contribution%20checklist#Attribution
[3] 
https://git.savannah.gnu.org/gitweb/?p=autoconf.git;a=commitdiff;h=5ad3567c3cbd90b4faa6539c35bc4a8c6500f535
[4] 
https://git.savannah.gnu.org/gitweb/?p=libtool.git;a=blob;f=HACKING;hb=HEAD#l103
[5] https://lists.gnu.org/archive/html/emacs-devel/2022-11/msg01820.html