[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: |
Wed, 17 Jun 2020 16:44:17 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) |
Michael Käppler <xmichael-k@web.de> writes:
> Am 11.06.2020 um 15:22 schrieb Werner LEMBERG:
>>> I can prepare a version of the docs with all occurences of '@/'
>>> removed and '@urefbreakstyle before' set, so that everyone can
>>> compare and build an opinion on this.
>> Great, thanks in advance. I suggest that you use the `texinfo.tex`
>> file directly from the 'texinfo' git repository so that we test the
>> most recent version.
>>
> This turned out to be difficult.
> As a first step I tried to upgrade texinfo.tex to current master
> of the official Texinfo git repo. This broke 'make doc'
> with a XeTeX error, handed over by 'texi2pdf' with the pretty
> useless message: "XeTeX exited with bad exit status"
> This happened just after finishing the first XeTeX pass.
>
> I appended various options to texi2pdf to make the output
> more verbose, but I did not get useful output regarding
> the XeTeX termination.
>
> Bisecting yielded that the first texinfo commit that introduced
> the error is
> http://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=aa18f519e091b6ada0fb2b0a65a51880031d5014
Uh oh. This looks like it introduces (modifies?) a command named
@seealso but it would appear that we define our own version of it.
--
David Kastrup
- Texinfo - manual line breaks in URLs?, Michael Käppler, 2020/06/06
- 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 <=
- 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