no-install-docs.patch
