Maintenance: whitespace-stripping script, thanks Marc!

diff --git a/scripts/auxiliar/strip-whitespace.py b/scripts/auxiliar/strip-whitespace.py
new file mode 100755 (executable)
index 0000000..10da116
--- /dev/null
+++ b/scripts/auxiliar/strip-whitespace.py
@@ -0,0 +1,16 @@
+#!/usr/bin/env python
+import sys
+
+for fname in sys.argv[1:]:
+  fd = open(fname,mode='U') # open in universal newline mode
+  lines = []
+  for line in fd.readlines():
+      lines.append( line.rstrip() )
+  fd.close()
+
+  fd = open(fname,mode='w')
+  fd.seek(0)
+  for line in lines:
+      fd.write(line+'\n')
+  fd.close()
+