DOKK / manpages

Man pages matching name vax780 in section 1:

vax780.1.en debian 10 / simh
vax780.1.en debian 11 / simh
vax780.1.en debian 12 / simh