Re: diff -G with case insensitivity

Chris Leong [off-list ref] writes:

Is there any way to run diff -G with a case insensitivity flag?

Hrm, not that I know of.  Do we even do a case insensitive diff regardless
of the -S/-G option?