On Sat, Dec 30, 2023 at 04:50:12PM +0100, Hilaire Fernandes wrote: > Hi, > > Since upgrading to texinfo 7.0.3, when rendering html, the table of contents > always appears after the copying, even if instructed differently.
Indeed, the default for CONTENTS_OUTPUT_LOCATION is now 'after_top' in the default case. If you want to have it appear where @contents is, you should change it to 'inline'. On the command line, that would be: texi2any --html -c CONTENTS_OUTPUT_LOCATION=inline manual.texi -- Pat