Including files from parent dir

2022-09-13 Thread Stefan Monnier
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 fin

Re: Including files from parent dir

2022-09-13 Thread Patrice Dumas
On Tue, Sep 13, 2022 at 08:14:48PM -0400, 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

Re: Including files from parent dir

2022-09-14 Thread Stefan Monnier
> It is because includes with leading . or .. in their paths in or include > that are absolute paths are treated differently from other includes: > they are not searched for in include directories. [...] > Unless I missed something, none of these two information is documented. Hmm... here I was, t

Re: Including files from parent dir

2022-09-14 Thread Stefan Monnier
> Right now, I can't think of a way to make this happen. The only > thing I can think of would be to change the code to consider that > only paths with leading . are considered differently. Actually, from where I stand, what would make more sense is to make it so file names that start with . or .

Re: Including files from parent dir

2022-09-14 Thread Patrice Dumas
On Wed, Sep 14, 2022 at 10:16:16AM -0400, Stefan Monnier wrote: > > Right now, I can't think of a way to make this happen. The only > > thing I can think of would be to change the code to consider that > > only paths with leading . are considered differently. > > Actually, from where I stand, wha

Re: Including files from parent dir

2022-09-14 Thread 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 --

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

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-17 Thread Gavin Smith
On Thu, Sep 15, 2022 at 10:17:43PM +0200, Patrice Dumas wrote: > 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

Re: Including files from parent dir

2022-09-17 Thread Gavin Smith
On Wed, Sep 14, 2022 at 10:13:26AM -0400, Stefan Monnier wrote: > I need my scripts to work with "old" makeinfo as well, so that wouldn't > help me for the foreseeable future, I'm afraid. > Thanks for the explanation, tho. It confirms that I'll have to > workaround the problem some other way. You

Re: Including files from parent dir

2022-09-17 Thread Stefan Monnier
Gavin Smith [2022-09-17 18:38:16] wrote: > On Wed, Sep 14, 2022 at 10:13:26AM -0400, Stefan Monnier wrote: >> I need my scripts to work with "old" makeinfo as well, so that wouldn't >> help me for the foreseeable future, I'm afraid. >> Thanks for the explanation, tho. It confirms that I'll have to