ref: ad5a80bfb081dc954be03836cc65090e0f6c7e4f
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