Can't think of any UNIX tools to fix it, but it should be quite easy to write one.
Here's a function that would fix a double-spaced file in PHP. Just do a recursive glob and fix 'em all! I haven't tested the function - just wrote it quickly, but it should work fine, and preserve line ending types too. http://openpaste.org/en/3270/ -- <http://forum.pspad.com/read.php?2,42527,42530> PSPad freeware editor http://www.pspad.com
