[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo - manual line breaks in URLs?
From: |
Michael Käppler |
Subject: |
Re: Texinfo - manual line breaks in URLs? |
Date: |
Thu, 29 Oct 2020 22:55:55 +0100 |
User-agent: |
Mozilla/5.0 (Windows NT 10.0; WOW64; rv:68.0) Gecko/20100101 Thunderbird/68.12.1 |
Am 29.10.2020 um 15:45 schrieb Werner LEMBERG:
See new diffs against master here:
https://drive.google.com/drive/folders/1czVl2glLVoQiUOLu1mvnWh9hozivaPuC?usp=sharing
I don't know. Some bad examples are gone, while new ones appeared.
Yes. It looks as if the URL code needs new implementation. Gavin's
work-around appears to be too fragile.
Could you please report back on bug-texinfo?
I think reporting back does only make sense, if we have a big number of test
cases to consider for Gavin. Optimizing by means of single examples will
very likely break
other ones.
I thought about extracting all @urefs (and their enclosing paragraphs)
that we have in the docs with a sed script and
making a test file from it. But as the fall semester starts, I have not
much time now.
Maybe you can give it a try?
Michael
Werner
- 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, 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 <=