bug-texinfo
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Texinfo 7.0 changed the name of HTML output directory


From: Patrice Dumas
Subject: Re: Texinfo 7.0 changed the name of HTML output directory
Date: Sun, 25 Aug 2024 19:03:31 +0200

On Sun, Aug 25, 2024 at 02:13:07PM +0200, Patrice Dumas wrote:
> On Sun, Aug 25, 2024 at 12:58:21PM +0100, Gavin Smith wrote:
> > I think it makes sense to treat relative paths in a similar way to
> > absolute paths.  The only question is whehther the path should be
> > relative to current working directory or the source file directory
> > (or possibly both).  The current behaviour is to be relative to cwd
> > and so that should be kept.
> 
> Agreed.  I'll do that change before the release.

This should be done.

> > > We could make this list of directories a customization option, like we
> > > currently do with INCLUDE_DIRECTORIES, which is influenced by -P and -I,
> > > for example named TEXINFO_LANGUAGE_DIRECTORIES, and add a command line
> > > option to prepend to this list?
> 
> I think that having a customization option is a good thing in any case,

I have implemented that, and also changed the Texinfo::Config code such
that it is possible to prepend directories.  Motivated users could
easily do an init file that places a directory after the current
directory and the input file path directory but before the other
directories.  This cannot be general, though.

-- 
Pat



reply via email to

[Prev in Thread] Current Thread [Next in Thread]