From 5ed4f2e69a8134a201db1159e26e008364b8209e Mon Sep 17 00:00:00 2001 From: Spencer Florence Date: Thu, 3 Sep 2015 11:27:51 -0500 Subject: [PATCH] comment in info file --- cover/info.rkt | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/cover/info.rkt b/cover/info.rkt index 3ea035b..b339227 100644 --- a/cover/info.rkt +++ b/cover/info.rkt @@ -1,7 +1,9 @@ #lang setup/infotab -(define cover-formats '(("html" cover generate-html-coverage) - ("raw" cover generate-raw-coverage))) +(define cover-formats + '(("html" cover generate-html-coverage) + ;; Undocumented. Meant for internal/debugging only + ("raw" cover generate-raw-coverage))) (define test-omit-paths (list "tests/error-file.rkt" "scribblings")) (define cover-omit-paths (list "tests/nested.rkt" "tests/bfs+module.rkt"))