DOKK / manpages

Man pages matching name isinf in section 3clc:

isinf.3clc.en debian 10 / opencl-1.2-man-doc
isinf.3clc.en debian 11 / opencl-1.2-man-doc