[Hugs-users] hugs docs

What software is used to convert the .xml and .sgml files in the Hugs docs directory to something (pdf?) readable? Thanks, Dave Feustel