docbuild speedup idea

Hi! I have an idea to speed up the doc builds, to not build very similar things more then once. Now the html and phpweb targets are built separately, though it is clear that they should only differ in their headers and footers. As the phpweb output contains more information, we can just simply build phpweb and run the files through some regexps to get the html output: - convert all links to .html istead of .php - convert headers and footers Otherwise the two formats are the same. If counted with the new XSL sheets, this would save us nearly 30 minutes per language (the regexps probably only take 2-3 minutes). That is possible if we would like to keep the online version and the downloadable versions very similar. I think this is the goal, as we would like the offline versions to be familiar for our users, so they can easily find the information they want to. The question is if we are willing to sacrifice some elegancy for processing time decrease. I think it is worth it ;) Goba