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

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