en/em-dash processing should not be applied to the argument of @include.

I can only agree with that.  I'll see about changing makeinfo ...

Thanks for the report,
k


Reply via email to