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
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