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@
112 KiB
112 KiB
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@