do-not-install-docs.patch
