docs-Do-not-delete-xml-directory-when-redoing-docs.patch
