From d0ad427a92497725c3816dc753e4e29a4de71031 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= <leonard.gerard@ens.fr>
Date: Thu, 9 Jun 2011 14:48:50 +0200
Subject: [PATCH] stricter enforce_style

---
 tools/enforce_style.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/enforce_style.sh b/tools/enforce_style.sh
index fd524ce..698b491 100755
--- a/tools/enforce_style.sh
+++ b/tools/enforce_style.sh
@@ -1,2 +1,2 @@
 #!/bin/sh
-find . \! -path "*_build*" -and \( -iname "*.ml" -or -iname "*.mli" -or -iname "*.mly" -or -iname "*.mll" -or -iname "*.ept" \) -exec perl -pi -e 's/( |\t)+$//gi; s/\t/  /g' {} \;
+find . \! -path "*build*" -and \( -iname "*.ml" -or -iname "*.mli" -or -iname "*.mly" -or -iname "*.mll" -or -iname "*.ept" -or -iname "*.txt" \) -exec perl -pi -e 's/( |\t)+$//gi; s/\t/  /g' {} \;