Man pages matching name doctools in section 3tcl:

doctools.3tcl.en	debian 10 / tcllib
doctools.3tcl.en	debian 11 / tcllib
doctools.3tcl.en	debian 12 / tcllib