DOKK / manpages

Man pages matching name px_put_data_short in section 3:

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