ref: 00c219c7d9c2b9f60c2db0e1ba7289b2301209a7
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