no-install-docs.diff
