Change the command name to doc-coverage.
This commit is contained in:
parent
31ba226306
commit
72bc2af41a
|
@ -1,6 +1,6 @@
|
||||||
#lang info
|
#lang info
|
||||||
|
|
||||||
(define name "docs-coverage")
|
(define name "doc-coverage")
|
||||||
(define scribblings '(("doc-coverage.scrbl" ())))
|
(define scribblings '(("doc-coverage.scrbl" ())))
|
||||||
(define raco-commands
|
(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)))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user