1 files changed, 21 insertions, 0 deletions
diff --git a/appl/lib/spki/mkfile b/appl/lib/spki/mkfile
new file mode 100644
index 00000000..9d096625
--- /dev/null
+++ b/appl/lib/spki/mkfile
@@ -0,0 +1,21 @@
+<../../../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