From ce606cb688a703b133ab7188fee45679e356a07d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 25 Nov 2020 16:09:50 -0800
Subject: Fix pre-commit hook so it doesn't catch .latex+lhs extensions.

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index cb39ac365..ea2bf80e7 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -225,7 +225,7 @@ A good way to ensure no new warnings are introduced is to use a Git
 before creating a commit:
 
     #!/bin/sh
-    git diff --cached --name-only | grep '.hs$' | xargs hlint
+    git diff --cached --name-only | grep '\.hs$' | xargs hlint
 
 Saving this to `.git/hooks/pre-commit`, and making the script
 executable, will prevent accidental introduction of potentially
-- 
cgit v1.2.3