On Sat, May 17, 2025 at 12:11:19PM +0000, Heime wrote: > > > Read through "3.5 The @top Sectioning Command". Which uses @ifnottex. > Is this always the correct way? Do I have to use anything else?
No, it is not needed anymore, in this section in https://www.gnu.org/software/texinfo/manual/texinfo/html_node/_0040top-Command.html it is said that wrapping in @ifnootex ... "is no longer necessary, as the ‘Top’ node is now never output for printed output.". -- Pat
