Small scripts to convert xml to man pages in groff format or html
