Simple scripts for converting xml to groff or html
