Maybe makeinfo should do the change from @strong{Note:} to @emph{Note:}
internally,
No, the difference between @strong and @emph is significant. We
shouldn't make the users' choices for them.
and just warn the user about the need to change.
It already does. That is exactly what Werner is complaining about.
(And others have too.)
k
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-texinfo
