On 10 December 2017 at 15:43, Bruno Haible <[email protected]> wrote: > Hi, > > The internet is moving from http:// URLs to https:// for a while already. > Therefore in HTML documentation generated from texinfo sources, I'd like to > have https:// URLs instead of http:// URLs where possible. > > In gnulib I have this piece of texinfo input: > @ref{Options,,Changing Automake's Behavior,automake,GNU Automake} > > It produces a HTML hyperlink to > http://www.gnu.org/software/automake/manual/automake.html#Options > I've like that it produces a hyperlink to > https://www.gnu.org/software/automake/manual/automake.html#Options
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 GS = ${G}/software 3dldf mono ${GS}/3dldf/manual/user_ref/3DLDF.html I'll make this change and upload the new file.
