1 files changed, 6 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index b4f00d1..f86226c 100644
--- a/Makefile
+++ b/Makefile
@@ -1,12 +1,17 @@
 .PHONY: clean all
 
-all: huffman-encode.cert
+all: huffman-encode.cert perm.cert
 
 huffman-encode.cert: huffman-encode.lisp
 	-rm -f $@
 	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
 	test -f $@
 
+perm.cert: perm.lisp
+	-rm -f $@
+	acl2 <<< '(CERTIFY-BOOK "$(basename $@)")'
+	test -f $@
+
 clean:
 	rm -f *.{cert,fasl,port,lx64fsl}