no-install-doc.patch
