Fewer kgdb(7) references and fix previous.
authormpi <mpi@openbsd.org>
Mon, 1 May 2017 06:39:25 +0000 (06:39 +0000)
committermpi <mpi@openbsd.org>
Mon, 1 May 2017 06:39:25 +0000 (06:39 +0000)
commitda28f17e2fe3549e921e2dbd5a7ae23834b68b8d
tree8dced9a0e370689f14b5140409ccb7d641182346
parent5fc52d6d4cd90c34558f033d94b0223a09ce88cd
Fewer kgdb(7) references and fix previous.

Pointed by jmc@
share/man/man4/ddb.4
share/man/man7/intro.7
usr.sbin/config/config.8