What's the correct way to regenerate the contents of doc/html after editing the xml sources? I ran 'make doc-html' and copied the new html files back into the source tree, but there are quite a lot of changes that I wasn't expecting. Is that because it hasn't been done recently, or do I have the wrong docbook stylesheet, or something else?