Re: [gnu.org #1534539] Re: Licensing issues for gendocs_template_min

[Karl Berry]

Thanks for all your work on this.

    Also, I used 2020 for the copyright year. Should that instead be
    something like 2007-2020?

Yes. The lone year "2020" stuff is only for the online web pages.

Also, I think the Parent-Version: value should be incremented in
gendocs_template. I'm not sure if anyone is still using it, but at one
time there was a semi-automated way to merge changes in the template
into people's per-project index.html files using that.

Apart from that, the change seems fine to me. But can I ask someone else
to install it, please? Bruno? I have no faith in my ability to use git
in expected ways.

    Well, I notice you didn't send your message to licensing, 

Oops, dumb oversight. I changed the subject and then forgot :(.
--thanks, karl.