Werner LEMBERG <w...@gnu.org> writes: >>> It seems that we have to check the settings of LilyPond's texinfo >>> setup. As a test, I compiled the attached document, and I get the >>> expected (good) formatting of the URL [the sample is taken from the >>> NR (around page 233)] with the latest `texinfo.tex` version. > >> I cannot reproduce this here. I ran the same minimal example with two >> different >> texinfo.tex versions, and with current >> texinfo a69a42e0feac2a88c092d0c42cd08c0acf287d88 >> I get the same bad spacing as within the LilyPond doc build. >> >> Are you sure that current texinfo.tex really was used? > > Yes. Attached are the PDFs together with the log files, one time with > the `texinfo.tex` file from lilypond's git repository, the other time > with the current version from texinfo's git repository. > > I used `texi2pdf` (from texinfo 6.7) for compilation. >
Number 1: > **\nonstopmode \input ./http.texinfo > (./http.texinfo (/home/wl/bug/texinfo.tex > Loading texinfo [version 2019-02-16.14]: Number 2: > **\nonstopmode \input ./http.texinfo > (./http.texinfo (/home/wl/bug/texinfo.tex > Loading texinfo [version 2020-06-25.17]: How does /home/wl/bug/texinfo.tex end up announcing two different versions of TeXinfo? -- David Kastrup
