Scripts for converting XML to roff or HTML