try using prince to convert our html pages to a pdf manual file
