DOKK / manpages

Man pages matching name px_get_data_double in section 3:

PX_get_data_double.3.en debian 10 / pxlib-dev
PX_get_data_double.3.en debian 11 / pxlib-dev
PX_get_data_double.3.en debian 12 / pxlib-dev