Man pages matching name gnatdoc in section 1:

gnatdoc.1.en

debian 10 / gnat-gps