ref: 8a788aea84aad3bfbd5b39d78c1925654f3b9e14
dir: /appl/lib/spki/mkfile/
<../../../mkconfig TARG=\ spki.dis\ verifier.dis\ MODULES= SYSMODULES= \ sys.m\ daytime.m\ keyring.m\ security.m\ bufio.m\ sexprs.m\ spki.m\ encoding.m\ DISBIN=$ROOT/dis/lib/spki <$ROOT/mkfiles/mkdis