On Nov 5, 2007 9:36 PM, Edward Z. Yang <[EMAIL PROTECTED]> wrote: > Hannes Magnusson wrote: > > 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 ;) > > Patch fixing this attached. I presume that non-REF_STRUCT_DEV still > needs to preserve the old behavior, so we unlink index.html before we > begin generation.
Committed, thanks! Now, get your ass on #php.doc on EFNet :) -Hannes
