[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo - manual line breaks in URLs?
From: |
Werner LEMBERG |
Subject: |
Re: Texinfo - manual line breaks in URLs? |
Date: |
Tue, 13 Oct 2020 07:35:58 +0200 (CEST) |
> 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?
I manually replaced the older `texinfo.tex` file with a newer one (in
the `/home/wl/bug` directory).
* The most recent `texinfo.tex` file behaves differently (IMHO better)
w.r.t. URL line breaks compared to the version in lilypond.
* Both versions, however, correctly justify the paragraph in the
example,[*] while exactly the same code in the NR does not. This
makes me believe that we have a problem with our texinfo macro setup
that prevents correct justification of URLs. An alternative
explanation might be that we've hit a bug in `texinfo.tex` that gets
triggered by the NR setup.
Werner
[*] Michael says that this doesn't happen on his box, which could
indicate a bug in `texinfo.tex`, for example, a dependency on the
used TeX flavour.
- 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, 2020/10/12
- Re: Texinfo - manual line breaks in URLs?,
Werner LEMBERG <=
- 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