On 7/24/2010 8:55 PM, Juanma Barranquero wrote:

> Well, as I said, no sweat. If someone else besides me needs the
> functionality we'll know soon enough.

I bet we will. :)

>> Perhaps it should be added to `distclean'?
>
> Well, somewhere in *clean*, yes :-) (I renounced trying to understand
> the different clean targets a long time ago.)

I know what you mean. I added it to (top-)distclean, so at least it is 
gone whenever somebody resets to the original distribution state.

Updated patch bundle attached.

Christoph