DOKK / manpages

Man pages matching name gnat2xml in section 1:

gnat2xml.1.en debian 10 / asis-programs
gnat2xml.1.en debian 11 / asis-programs