On Tue, Feb 19, 2013 at 02:14:39PM +0000, Karl Berry wrote: > > I don't think -u is only GNU diff, but anyway, losing it doesn't sound > problematic. Losing -a might be, though, since GNU diff painfully > considers some files binary otherwise. Have to look at what the > alternatives are.
-a is required for diffing Info files, if I recall well. -- Pat
