Re: HTML <title> node names: Not emitting 'Top (Manual name)'

Gavin Smith <[email protected]> Sun, 17 Mar 2024 12:30:51 +0000
Newsgroups gmane.comp.tex.texinfo.general
Message-ID <Zfbie0hycg6HppUb@beigestar>
On Sun, Mar 17, 2024 at 12:29:01PM +0100, [email protected] wrote:
> On Sat, Mar 16, 2024 at 09:29:59AM +0200, Eli Zaretskii wrote:
> > If and when we understand the rationale for that code, and you can
> > suggest how to achieve the same with texi2any customizations, I can
> > assure you that we in the Emacs maintenance will enthusiastically
> > consider switching to those customizations.
> 
> Here is a proposal for an init file.  The <div> placement in split case
> was not that easy to achieve.

Unless I have missed something, nobody has said why the extra <div>
was being added in the first place, so I don't see the purpose in
adding complicated customization code in Perl to add it, to replace the
complicated post-processing in Emacs Lisp.  It would be the simplest to
eliminate adding the <div> altogether.