do these tools work with docbook? Actually, yes, if the Docbook profile used is SGML-compliant. I don't know = which profile the current docs use.