[PATCH] Splits long lines in manual

[Dirk Hohndel]

On Thu, 2013-12-19 at 07:47 -0800, Dirk Hohndel wrote:
> On Thu, 2013-12-19 at 15:44 +0000, Tim Wootton wrote:
> > Actually that diff color is really neat, and now I've used it: I broke
> > way more lines than that. The spaces that are left are the lines that my
> > awk script accidentally broke in the right place and I thought I didn't
> > need to visit on my by-hand edit.
> > 
> >  I'll send you a patch shortly to take out the additional spaces.
> 
> Please wait. I have a tool to clean up most whitespace issues
> automatically. So I simply cleaned up your patch after applying it :-)
> 
> But I'm still testing things before pushing out all the changes I
> applied.

OK, tested on Mac as well (well, that's for Lubomir's changes) and
cleaned up patches pushed.

/D