Man pages matching name ippdoclint in section 7:

ippdoclint.7.en

debian 12 / ippsample-data