LATEX_DOCS is no longer used