[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:04:39 +0200 |
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.
--
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, 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 <=
- 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/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