Hi Ralf, Thanks for the report, as always.
need to double backslashes in the macro definition, but is silent
about macro arguments.
I seem to recall that it is silent precisely because I noted the
discrepancy and was too discouraged to do anything about it.
I think it is makeinfo that is doing the wrong thing here. Patrice, can
you check how texi2html does, please?
Thanks,
Karl
