Bug#1105214: texinfo: (www.)gnu.org URLs should be in https
On 2025-05-13 15:26:01 +0200, Vincent Lefevre wrote:
> For security, www.gnu.org and gnu.org URLs should be in https.
> At least the info manual and the man pages are concerned.
>
> (I don't know whether there is already an upstream bug; gnu.org is
> currently down.)
This seems to have been partly fixed in Texinfo 7.2.
--
Vincent Lefèvre <vincent@vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / Pascaline project (LIP, ENS-Lyon)
Reply to: