clean spaces at end of line

[Mildred Ki'Lya]

Hi,

I noticed this problem a long time ago. Most of the source files have 
unnecessary spaces at the end of the lines. This is somehow problematic 
because a change in those spaces will be thought as a modification in 
git. And it can therefore create unnecessary conflicts when merging as well.

In branch stable, I added a rume to the makefile `clean-spaces' that 
would remove the spaces at the end of line for every .li[p] files in the 
repository. I think it could be a good idea to include this in the 
master branch as well and use it before each commit.

What do you think?


Here is the Makefile rule:

clean-spaces:
	-find . \( -name "*.li" -o -name "*.lip" \) -print0 | xargs -0 sed -i 's/\s*$//'


Mildred

-- 
Mildred Ki'Lya
╭───────── ｍｉｌｄｒｅｄ５９３＠ｏｎｌｉｎｅ．ｆｒ ──────────
│ Jabber, GoogleTalk:<mildred at jabber.fr>
│ Website:<http://ki.lya.online.fr>            GPG ID: 9A7D 2E2B
│ Fingerprint: 197C A7E6 645B 4299 6D37 684B 6F9D A8D6 9A7D 2E2B