xmltoman and xmlmantohtml are two very simple scripts for converting xml to groff or html. feedback and ok kili@