[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo - manual line breaks in URLs?
From: |
David Kastrup |
Subject: |
Re: Texinfo - manual line breaks in URLs? |
Date: |
Mon, 12 Oct 2020 23:53:37 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Werner LEMBERG <wl@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
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/10/09
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/10/12
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/10/12
- Re: Texinfo - manual line breaks in URLs?,
David Kastrup <=
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/10/13
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/10/13
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/10/13
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/10/13
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/10/14
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/10/29
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/10/29