Getting the manual into latex