[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML <title> node names: Not emitting 'Top (Manual name)'
From: |
Patrice Dumas |
Subject: |
Re: HTML <title> node names: Not emitting 'Top (Manual name)' |
Date: |
Sat, 16 Mar 2024 15:34:50 +0100 |
On Fri, Mar 15, 2024 at 09:22:54AM +0200, Eli Zaretskii wrote:
> I'm not sure the HTML output of texi2any is (or can be) specifically
> tailored to the needs of presenting a project's manuals on the GNU
> Software Web site (https://www.gnu.org/software/). For example, every
> manual is generated in 2 forms: a single HTML file and one file per
> node; texi2any does support each of these outputs, but the
> requirements from the heading lines and preambles for each one are
> slightly different, when the above site is targeted.
The HTML output of texi2any can be tailored extensively, and I do not
see the fact that there is a split and non-split manual a difficulty for
customization. There vould be a different init file for each of those
cases. There could also be conditionals based on the SPLIT value, which
would require some knowledge of perl, but some very basic knowledge.
--
Pat
- HTML <title> node names: Not emitting 'Top (Manual name)', Arsen Arsenović, 2024/03/12
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/12
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/12
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Arsen Arsenović, 2024/03/12
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/13
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Eli Zaretskii, 2024/03/13
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Gavin Smith, 2024/03/14
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Arsen Arsenović, 2024/03/14
- 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)',
Patrice Dumas <=
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Patrice Dumas, 2024/03/17
- Re: HTML <title> node names: Not emitting 'Top (Manual name)', Patrice Dumas, 2024/03/14
- 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