DOKK / manpages

Man pages matching name polytype_ptex_mask in section 3alleg4:

POLYTYPE_PTEX_MASK.3alleg4.en debian 10 / allegro4-doc
POLYTYPE_PTEX_MASK.3alleg4.en debian 11 / allegro4-doc
POLYTYPE_PTEX_MASK.3alleg4.en debian 12 / allegro4-doc