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' {} \;