On Nov 5, 2007 8:18 PM, Edward Z. Yang <[EMAIL PROTECTED]> wrote: > Hannes Magnusson wrote: > > Hmh. I don't think adding a TOC to the html output is the > > right-way-to-go, but you are right, we do need some sort of real index > > on the front page. > > Attached is a hack that adds a classic style Table of Contents to the > index.html/manual.html pages as an interim solution. It could be made > cleaner if the navigation-ification code in format_root_chunk was > factored into its own method. This technique may also work for the > bightml theme.
While writing a reply I realized something... that index.html file you are getting in REF_STRUCT_DEV is broken. The files are named by their IDs and since we don't have an "index" ID we copy (thank you Windows, I have a great respect for you!) the (believed-to-be-index) manual.html as index.html. Now, in the REF_STRUCT_DEV we however have an index ID, which does get generated with a normal TOC - but it gets overwritten since the theme blindly copys manual.html to index.html ;) -Hannes
