ref: 82b046f36f8084a22bbb5d71edd0edd9179561eb
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