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