DOKK / manpages

Man pages matching name autoheader2.13 in section 1:

autoheader2.13.1.en debian 10 / autoconf2.13
autoheader2.13.1.en debian 11 / autoconf2.13
autoheader2.13.1.en debian 12 / autoconf2.13