Re: Including files from parent dir

[Michael Eager]

On 9/13/22 17:14, Stefan Monnier wrote:
> There's something I don't understand about @include:
>
> Say, I have:
>
>      doc/foo.texi
>      doc/gpl.texi
>      bar.texi
>
> if my `foo.texi` has
>
>      @include gpl.texi
>      @include ../bar.texi
>
> I will be able to use successfully both
>
>      cd doc; makeinfo --no-split foo.texi -o ../foo.info
>
> will work fine, but
>
>      makeinfo --no-split doc/foo.texi -o foo.info
>
> will signal an error that it can't find `../bar.texi`
> (note: it *did* find `gpl.texi`).
>
> Why are the two includes treated differently?
> How can I convince `makeinfo` to find the `bar.texi` file in both cases?

Have you tried the -I <directory> option?