14 Nov
2001
14 Nov
'01
11:20 a.m.
Simon Marlow wrote:
What's wrong with just saying -I<dir> whenever you say -i<dir>?
This seems to work but for more complicated combinations the two options have slightly different formats. For example, if I have several directories separated by colons, and end the list with a superfluous colon (which arises naturally enough when the path is auto-computed) I get messages like:
Ok, that's a bug. In the meantime, you'll have to remove the trailing colon. Cheers, Simon