hard-code LATEX_CMD_NAME to latex since we won't be generating the latex documentation; else we have an ununitialized variable for @LATEX_COMPILER@
hard-code LATEX_CMD_NAME to latex since we won't be generating the latex documentation; else we have an ununitialized variable for @LATEX_COMPILER@