Convert to latex for production of User Guide in PDF format.