Man pages matching name tfdocgen in section 1:

tfdocgen.1.en	debian 10 / tfdocgen
tfdocgen.1.en	debian 11 / tfdocgen
tfdocgen.1.en	debian 12 / tfdocgen