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
