[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: |
Thu, 25 Jun 2020 10:56:56 +0200 (CEST) |
>> The index changes look fishy, too: Everything typeset in typewriter is
>> indented incorrectly by a space.
> Regarding this one: My new best friend git-bisect says that
> http://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=0539d4e685a2185dd46d676d0b3f8862493bf8bd
> introduced the misaligned index entries, which seems reasonable to me
> (being a TeX-newbie...)
Thanks.
> Maybe this interferes with the definitions in common-macros.itexi
> that you already mentioned in your patch...
Nope, this can be reproduced with pure texinfo.
Werner
- Re: Texinfo - manual line breaks in URLs?, (continued)
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/19
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/19
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/22
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/22
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/22
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/23
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/23
- Re: Texinfo - manual line breaks in URLs?,
Werner LEMBERG <=
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/25
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/25
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/28
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/29
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, David Kastrup, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, David Kastrup, 2020/06/18
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/18