Hi Gavin, > The URL comes from the htmlxref.cnf file, under util/ in the Texinfo > distribution and installed as /usr/share/texinfo/htmlxref.cnf or > similar. I guess that the following change is needed: > > Index: htmlxref.cnf > =================================================================== > --- htmlxref.cnf (revision 7981) > +++ htmlxref.cnf (working copy) > @@ -37,7 +37,7 @@ > # associated, and thus gnu.org/manual can't include them. > > # shorten references to manuals on www.gnu.org. > -G = http://www.gnu.org > +G = https://www.gnu.org
Indeed, I confirm this change has the desired effect. Thanks!! Bruno
