00_no_latex_docs.diff
