On Sat, Jan 11, 2025 at 10:11:11PM +0100, Patrice Dumas wrote: > I propose to add a @documentinfo block which would contain information > that can be used for diverse purposes, but in particular to do the formatting > previously assigned to @titlepage.
I don't object in principle but I can't promise how soon I could help with any implementation in texinfo.tex as I may be busy with other projects.
