DOKK / manpages

Man pages matching name oshcxx in section 1:

oshcxx.1.en debian 11 / openmpi-bin
oshcxx.1.en debian 12 / openmpi-bin