[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Non-ASCII characters in @include search path
From: |
Gavin Smith |
Subject: |
Re: Non-ASCII characters in @include search path |
Date: |
Sat, 19 Feb 2022 21:24:00 +0000 |
On Sat, Feb 19, 2022 at 06:04:32PM +0000, Gaël Bonithon wrote:
> Does not work for me (I'm on Arch Linux, Texinfo 6.8):
>
> $ makeinfo -I ./è simplest.texi
> simplest.texi:10: @include: could not find toto.texi
> $ makeinfo --html -I ./è simplest.texi
> simplest.texi:10: @include: could not find toto.texi
> $
>
> However:
> $ cp -r è e
> $ makeinfo -I ./e simplest.texi
> $ makeinfo --html -I ./e simplest.texi
> $
>
> Cheers,
> Gaël
Which version of makeinfo is it? I reproduced with the makeinfo installed
by default on my system (makeinfo 6.7) but not with the development version.
- Non-ASCII characters in @include search path, Gaël Bonithon, 2022/02/17
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/19
- Re: Non-ASCII characters in @include search path, Gaël Bonithon, 2022/02/19
- Re: Non-ASCII characters in @include search path,
Gavin Smith <=
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/19
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/19
- Re: Non-ASCII characters in @include search path, Gavin Smith, 2022/02/20
- Re: Non-ASCII characters in @include search path, Gavin Smith, 2022/02/20
- Re: Non-ASCII characters in @include search path, Gavin Smith, 2022/02/20
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/20
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/20
- Re: Non-ASCII characters in @include search path, Gavin Smith, 2022/02/20
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/20
- Re: Non-ASCII characters in @include search path, Eli Zaretskii, 2022/02/20