[patch] hotfix to prevent installation of man files

hotfix-diff.patch (text/plain), 538 bytes, created by Stefan Kuhn on 2020-07-21 19:34:16 UTC

--- /var/db/repos/gentoo/dev-util/nvidia-cuda-toolkit/nvidia-cuda-toolkit-10.1.243-r3.ebuild	2020-06-27 13:09:07.000000000 +0200
+++ nvidia-cuda-toolkit-10.1.243-r4.ebuild	2020-07-21 21:06:06.743120389 +0200
@@ -72,8 +72,10 @@
 	fi
 	einstalldocs
 
-	mv doc/man/man3/{,cuda-}deprecated.3 || die
-	doman doc/man/man*/*
+	if use doc; then
+		mv doc/man/man3/{,cuda-}deprecated.3 || die
+		doman doc/man/man*/*
+	fi
 
 	use debugger || remove+=( bin/cuda-gdb bin/cuda-gdbserver extras/Debugger share/gdb extras/cuda-gdb-${PV}.src.tar.gz )