[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Including files from parent dir
|
From: |
Gavin Smith |
|
Subject: |
Re: Including files from parent dir |
|
Date: |
Sat, 17 Sep 2022 18:38:16 +0100 |
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 could try using a symlink so instead of @include ../foo.texi you would
have @include shared/foo.texi where shared was a symlink to '..'.