> From: Akim Demaille <[EMAIL PROTECTED]> > Date: 26 May 2002 12:20:00 +0200 > > If the problem is wrt -I, I'm fine with renaming it -i.
Yes, that would be an improvement. Presumably -I would append the path names, but -i would prepend them, so you could mix -i and -I with predictable results.
