DOKK / manpages

Man pages matching name ps_get_subminorversion in section 3:

PS_get_subminorversion.3.en debian 10 / pslib-dev
PS_get_subminorversion.3.en debian 11 / pslib-dev
PS_get_subminorversion.3.en debian 12 / pslib-dev