Jens Schweikhardt 3c405c7e83 Indicate which port gdb.1 and kgdb.1 come from.		2022-08-17 19:13:22 +02:00
..
config.5
config.8
config.h
config.y
configvers.h
kernconf.tmpl
lang.l
main.c
Makefile
Makefile.depend
mkheaders.c
mkmakefile.c
mkoptions.c