[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Texinfo 7.0 changed the name of HTML output directory
From: |
Eli Zaretskii |
Subject: |
Re: Texinfo 7.0 changed the name of HTML output directory |
Date: |
Sun, 25 Aug 2024 21:24:48 +0300 |
> Date: Sun, 25 Aug 2024 19:45:16 +0200
> From: Patrice Dumas <pertusus@free.fr>
> Cc: GavinSmith0123@gmail.com, bug-texinfo@gnu.org
>
> On Sun, Aug 25, 2024 at 08:42:39PM +0300, Eli Zaretskii wrote:
> > > Date: Sun, 25 Aug 2024 19:04:39 +0200
> > > From: Patrice Dumas <pertusus@free.fr>
> > >
> > > On Sun, Aug 25, 2024 at 11:32:01AM +0100, Gavin Smith wrote:
> > > > It's actually worse. It's not just a matter of placing the htmlxref.cnf
> > > > file in the same directory as the Texinfo source. It has to be present
> > > > in the working directory (.) where texi2any runs. (I just tested
> > > > this with current git 'master'.)
> > >
> > > Now an htmlxref.cnf file in the same directory as the Texinfo source
> > > should be used.
> >
> > Only there or _also_ there (in addition to looking in the directory
> > where texi2any runs)?
>
> Also there. First in the directory where texi2any runs and then in the
> same directory as the Texinfo source before the other directories.
Thanks.
- 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, 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
- 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, Gavin Smith, 2024/08/26
- 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 <=
Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Gavin Smith, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Gavin Smith, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/23
- Re: Texinfo 7.0 changed the name of HTML output directory, Eli Zaretskii, 2024/08/24
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/24