Man pages matching name ippdoclint in section 1:

ippdoclint.1.en

debian 12 / ippsample-data