> An idea: > What about splitting out the doc builder? > > - Run one-html, multi-html and online docs builder frequently > (day-by-day all language). > - Pdf and other builders may run weekly > > Or can we do a format priority list based on popularity?
Nice idea. ;) I have also thought about a system, where we can only rebuild the files changed. Though I cannot think of any good method where we can preserve the autonumbering, links to other files, etc. Goba
