diff --git a/graph-lib/make/make.rkt b/graph-lib/make/make.rkt index b33696eb..2121e2e9 100644 --- a/graph-lib/make/make.rkt +++ b/graph-lib/make/make.rkt @@ -227,7 +227,7 @@ "-j" "8" ,@(exclude-dirs rkt-files (list "make/")))) -(run! `(,(find-executable-path-or-fail "raco") +#;(run! `(,(find-executable-path-or-fail "raco") "cover" "-d" "docs/coverage" "-s" "doc"