From 7ab2efea40f87553fb99557f19bba494a0f489e2 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Wed, 30 Jun 2010 15:36:07 +0200
Subject: [PATCH] Cleaning tool

---
 tools/enforce_style.sh | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100755 tools/enforce_style.sh

diff --git a/tools/enforce_style.sh b/tools/enforce_style.sh
new file mode 100755
index 0000000..8d178c8
--- /dev/null
+++ b/tools/enforce_style.sh
@@ -0,0 +1,4 @@
+#!/bin/sh
+
+find \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/( |\t)+$//g' {} \;
+find \( -iname "*.ml" -or -iname "*.mli" \) -exec perl -pi -e 's/\t/  /g' {} \;