[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Non-ASCII characters in @include search path
From: |
Patrice Dumas |
Subject: |
Re: Non-ASCII characters in @include search path |
Date: |
Sat, 19 Feb 2022 22:30:00 +0100 |
On Sat, Feb 19, 2022 at 09:24:00PM +0000, Gavin Smith wrote:
> 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.
It is said above, 'Texinfo 6.8'. I did not reproduce it with the
makeinfo installed on my system which is 6.8.
I could reproduce with texinfo 6.7 rebuilt from source, though.
--
Pat
- 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, 2022/02/19
- Re: Non-ASCII characters in @include search path,
Patrice Dumas <=
- 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
- Re: Non-ASCII characters in @include search path, Patrice Dumas, 2022/02/20