Nicola Ken Barozzi wrote: > With the patch I can redefine it as follows: ... > Are dots reserved characters in ordinary target names? If not, then this is a bad design choice, someon could already have a target named super.mytarget. J.Pietschmann -- To unsubscribe, e-mail: For additional commands, e-mail: