MIRA0001-Fix-doc-build.patch
