The problem I saw was that the table of contents on some of the files
was printed on the back side of the last page of index. This makes it
hard to put the contents in the front and leave the index in the back.
Yes, this is surely something in texinfo.tex.
Thanks for the report.
Also, note that you can put the table of contents in its natural
position at the front of the manual now. Either by changing the source
or by running
texi2dvi -t @setcontentsaftertitlepage -t @setshortcontentsaftertitlepage
See the `Contents' node of the texinfo manual for more info ...
