[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:45:16 +0200 |
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.
--
Pat
- Re: Texinfo 7.0 changed the name of HTML output directory, (continued)
- 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
- 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 <=
- 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/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