[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: |
Fri, 23 Aug 2024 22:17:33 +0200 |
On Fri, Aug 23, 2024 at 07:58:04PM +0200, Patrice Dumas wrote:
> I'll try to come up with some proposal.
Here it is. I may have been too explicit and redundant.
--
Pat
WWW_HTML_Xref.diff
Description: Text Data
- 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/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 <=
- 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
- Re: Texinfo 7.0 changed the name of HTML output directory, Patrice Dumas, 2024/08/25