Man pages matching name doctools_intro in section 3tcl:

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