Re: Including files from parent dir

2022-09-15 Thread Patrice Dumas
On Thu, Sep 15, 2022 at 03:35:26PM -0400, Stefan Monnier wrote:
> > Have you tried the -I  option?
> 
> I had not, but I just tried and that doesn't help: apparently when
> the file starts with "." it's not searched along the list of include
> directories but only relative to pwd (whereas I'd need it to look
> relative to the includer's directory).

When it starts with . ou .. it is not searched for in include
directories, so indeed, it does not help.

-- 
Pat



Re: Including files from parent dir

2022-09-15 Thread Stefan Monnier
> Have you tried the -I  option?

I had not, but I just tried and that doesn't help: apparently when
the file starts with "." it's not searched along the list of include
directories but only relative to pwd (whereas I'd need it to look
relative to the includer's directory).


Stefan