Re: 03/03: doc: Update to cover for an additional OpenPGP signing key.

[Maxim Cournoyer]

Ludovic Courtès <ludo@gnu.org> writes:

> Hello!
>
> Maxim Cournoyer <maxim.cournoyer@gmail.com> skribis:
>
>> Oh, it didn't strike me as an option, as it'd not cover past releases.
>> Perhaps not a common use case, but the past releases are still available
>> for download, so someone could want to install them, perhaps just to
>> compare what changed or decide if some problem is regression.
>
> IMO that’s OK, that’s the same as with other releases at ftp.gnu.org.
> It’s the user’s responsibility to fetch the right key.
>
> I think it’s enough for the instructions in the manual to apply only to
> the latest release.  So I’d suggest reverting and setting
> OPENPGP-SIGNING-KEY-ID and OPENPGP-SIGNING-KEY-URL to your key.
>
> WDYT?

Alright, done on both the version-1.3.0 and master branches.

Thanks for the feedback!

Maxim