Re: HTML customization files and command-line options processing order

2025-01-12 Thread Patrice Dumas
On Sun, Jan 12, 2025 at 08:28:26PM +, Gavin Smith wrote: > On Tue, Jan 07, 2025 at 10:30:22PM +0100, Patrice Dumas wrote: > > This is only one of the possibility, another possibility could be to > > have --no-embed-interpreter ignored if an init file has already been > > loaded and the embedded

Re: HTML customization files and command-line options processing order

2025-01-12 Thread Gavin Smith
On Tue, Jan 07, 2025 at 10:30:22PM +0100, Patrice Dumas wrote: > This is only one of the possibility, another possibility could be to > have --no-embed-interpreter ignored if an init file has already been > loaded and the embedded interpreter is started and to have init files > loading override the

Re: replacement for titlepage and more metadata commands

2025-01-12 Thread Patrice Dumas
On Sun, Jan 12, 2025 at 07:53:20AM +0200, Eli Zaretskii wrote: > without seeing examples. So how about showing one or more examples of > formatting @titlepage block with the current commands, and what would > it look like under this/these proposal(s)? The example in the Texinfo manual: @titlepag