[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:20:35 +0200 |
Hello,
Here is an updated version of the documentation patch, with Eli text.
On Sat, Aug 24, 2024 at 08:26:13AM +0300, Eli Zaretskii wrote:
> > +all HTML manuals generated by @command{texi2any} use this location for
> > +cross-references in the default case. You can get the latest version from
> > @url{http://ftpmirror.gnu.org/@/texinfo/@/htmlxref.cnf}.
>
> I suggest to tell here explicitly that having a local htmlxref.cnf
> file with the correct information is the solution for outdated or
> missing data in the file as distributed by Texinfo.
I did that, but before in the node.
--
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, 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
- Re: Texinfo 7.0 changed the name of HTML output directory,
Patrice Dumas <=