Re: Some new bugs for PhD

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. -- Edward Z. Yang GnuPG: 0x869C48DA HTML Purifier <http://htmlpurifier.org> Anti-XSS Filter [[ 3FA8 E9A9 7385 B691 A6FC B3CB A933 BE7D 869C 48DA ]]