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.
