[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML <title> node names: Not emitting 'Top (Manual name)'
From: |
Gavin Smith |
Subject: |
Re: HTML <title> node names: Not emitting 'Top (Manual name)' |
Date: |
Sun, 17 Mar 2024 14:23:34 +0000 |
On Sun, Mar 17, 2024 at 02:27:11PM +0100, pertusus@free.fr wrote:
> > The code that appears to strip the comment out is very short and probably
> > not the main source of complexity in the Emacs Lisp program:
> I am not sure that it is that code, as texi5 is defined by, I believe
>
> let ((texi5 (search-forward "<!DOCTYPE" nil t))
> opoint)
>
> So it should be set as there is a "<!DOCTYPE" in recent Texinfo
> releases. I think that the code you flagged out was there to remove the
> CSS or something along for makeinfo <= 4.
I expect you are right.
> My feeling is that the removal of the Copyright comment is
> inentended, as it is left in HTML files split by node. I believe it is
> rather because of the following that deletes everything between the
> first meta, which should be
> <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
> and <title>:
>
> (search-forward "<title>")
> (delete-region opoint (match-beginning 0))
> (search-forward "</title>\n")
>
> But it is more a wild guess.
>
> --
> Pat
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', (continued)
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/15
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/15
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', pertusus, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', pertusus, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', pertusus, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', pertusus, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)',
Gavin Smith <=
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', pertusus, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', pertusus, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Arsen Arsenović, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Patrice Dumas, 2024/03/15
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/16
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Patrice Dumas, 2024/03/16