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 <vinc...@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)
