> It generates about a dozen HTML output files. I've committed a patch
> that assigns IDs (so that the output files won't have randomly
> assigned names) but am wondering whether we should break the 174K
> index.xml file up into the corresponding 12 smaller files as well.
> 
> I'm happy to do this if that's the preferred method going forward.

Yes, please.

Goba

Reply via email to