On Sun, Nov 01, 2020 at 07:01:05PM +0000, Gavin Smith wrote: > > > > Ok, but then this means that there should be a sectiontoc if there is no > > @shortcontents nor @contents. > > Yes, I agree.
I will commit a fix. > Also, I wonder if the contents and shortcontents should > be output after the Top node in index.html, rather than before. In the default case, unless I am missing something, the contents and shortcontents are output where they appear in the document, as INLINE_CONTENTS is set to 1. One possibility would be to change the location of those @-commands in the manual Texinfo code. It would clash with TeX, as TeX does not output the table of content if after the first sectioning command. -- Pat
