From 72bc2af41a1433c4386fd84679c584ed7b9f4745 Mon Sep 17 00:00:00 2001 From: Leif Andersen Date: Thu, 31 Dec 2015 11:28:04 -0700 Subject: [PATCH] Change the command name to doc-coverage. --- doc-coverage/info.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc-coverage/info.rkt b/doc-coverage/info.rkt index 24744e1..2304cca 100644 --- a/doc-coverage/info.rkt +++ b/doc-coverage/info.rkt @@ -1,6 +1,6 @@ #lang info -(define name "docs-coverage") +(define name "doc-coverage") (define scribblings '(("doc-coverage.scrbl" ()))) (define raco-commands - '(("cover-doc" (submod doc-coverage/raco main) "a code documentation coverage tool" 25))) + '(("doc-coverage" (submod doc-coverage/raco main) "a code documentation coverage tool" 25)))