ref: 866d74c0c4bb50e85e9e8bb95140c10d409e53be
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