0001-disable-latex-documentation.patch
0002-fix-html-doc-generation.patch
