[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
- Re: Texinfo 7.0 changed the name of HTML output directory, (continued)
- Re: Texinfo 7.0 changed the name of HTML output directory, Gavin Smith, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Gavin Smith, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Gavin Smith, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory,
Patrice Dumas <=
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Gavin Smith, 2024/08/25
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/26
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/26
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/26
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/26