DOKK / manpages

Man pages matching name px_add_primary_index in section 3:

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