[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: |
Fri, 19 Jun 2020 09:51:27 +0200 (CEST) |
> The patch did not solve the problem.
OK. It was a shot into the dark.
> A glance into the texi2dvi code showed that rather this tool causes
> the problem. See
> http://git.savannah.gnu.org/cgit/texinfo.git/diff/util/texi2dvi?id=2405caa6c7ab01d888899af56aa056b1e77485ba
Thanks for investigating this!
> Since my distro is not that old, I do not think it would be a good
> idea to require a newer texinfo version, so I would suggest that we
> stick with texinfo.tex from
> http://git.savannah.gnu.org/cgit/texinfo.git/commit/util/texi2dvi?id=77390b679e5f4833661fda9f34fd7da119bb942e
I disagree. While this is the right way for the next development
version, in the long run the new indexing code has advantages. For
example, right now we have index entries like
tablature ............................. 23
tablature, and beams .................. 14
tablature, and harmonic indications ... 234
tablature, and harmonics .............. 345
tablature, and polyphony .............. 100
tablature, and slides ................. 48
...
With the new code it will be possible to have this condensed to
tablature ............................. 23
and beams ........................... 14
and harmonic indications ............ 234
and harmonics ....................... 345
and polyphony ....................... 100
and slides .......................... 48
...
which enormously increases the legibility IMHO.
It seems that the required change in `texi2dvi` is a one-liner. We
could test that and apply the patch by ourselves if necessary.
Werner
- Re: Texinfo - manual line breaks in URLs?, (continued)
- Re: Texinfo - manual line breaks in URLs?, Valentin Villenave, 2020/06/10
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/10
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/10
- Re: Texinfo - manual line breaks in URLs?, Werner LEMBERG, 2020/06/11
- Re: Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/17
- Re: Texinfo - manual line breaks in URLs?, David Kastrup, 2020/06/17
- 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 <=
- 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, 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/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