From feab19a871c5c09ceddb7a065efe12b2d6a2a8a4 Mon Sep 17 00:00:00 2001
From: Jack Firth <jackhfirth@gmail.com>
Date: Thu, 3 Dec 2015 23:44:22 -0800
Subject: [PATCH] Not all main/info modules were being omitted

Only the top-level ones in the repo root were.
---
 info.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/info.rkt b/info.rkt
index 8a6ffc9..056a087 100644
--- a/info.rkt
+++ b/info.rkt
@@ -30,8 +30,8 @@
 
 (define cover-omit-paths
   '(#rx".*\\.scrbl"
-    "main.rkt"
-    "info.rkt"
+    #rx"main\\.rkt"
+    #rx"info\\.rkt"
     "lens/private/doc-util"
     "lens/private/test-util"
     "lens/private/util"