Re: [PATCH] use https with texinfo homepage

[Gavin Smith]

On Tue, Dec 26, 2023 at 08:17:32PM -0500, Mike Frysinger wrote:
> There are other http:// URIs that could be updated, but I wanted to focus
> on the texinfo homepage to start with.  I also left the DTD URI alone as
> those act more as permanent unique ids rather than exact URIs that people
> visit, and typically existing ones stay as http://.

Thanks for sending this.  I've worked through the files and made the changes
as appropriate.  Comments below.

>  contrib/txipsfonts-bronger.tex |  4 ++--

I've removed this file from the repository as it is not maintained and
I don't want the responsibility of making any more changes to it.

>  man/pod2texi.1                 |  2 +-

This file is automatically generated (although tracked in git for some
reason, unlike the other files man/*.1).

>  po/ca.po                       |  8 ++++----

All of the po files are provided by a third party (the Translation Project)
and then automatically processed by Makefile rules, so we rarely make changes
to these files directly.