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: