Re: Texinfo 7.0 changed the name of HTML output directory

[Gavin Smith]

On Sun, Aug 25, 2024 at 11:55:02AM +0300, Eli Zaretskii wrote:
> And one more question wrt what this section of the Texinfo manual
> says: what exactly us the MANUAL part of the entries in htmlxref.cnf,
> and what does texi2any compare it to?  For example, there's this entry
> in the current file:
> 
>    smtp               mono    ${EMACS}/html_mono/smtpmail.html
>    smtp               node    ${EMACS}/html_node/smtpmail/
> 
> What does "smtp" mean here?  The source file for this manual is
> smtpmail.texi and the output goes to smptmail.html, so how is "smtp"
> used by texi2any?  I'm asking because there are other manuals where
> the name in the top-level DIR menu differs from the file name, and I
> need to understand how to format those lines.  The file as distributed
> by Texinfo seems to be somewhat inconsistent in this respect: for
> example, in case of CL-LIB manual, the MANUAL part of the entry is
> "cl", identical to the file name, in contrast to the above "smtp"
> entry.  Perhaps "smtp" above is a mistake, and MANUAL should always
> equal the file name?

I think it is most likely a mistake.