Re: codequote* in tp/

[Karl Berry]

    There is nothing specific done for
     @set txicodequoteundirected
     @codequoteundirected
     @set txicodequotebacktick
     @codequotebacktick

I think that is ok.  There are two versions of those quote characters in
the TeX typewriter font, and what those commands do is switch between
them.  Lilypond was who wanted it.  I don't think anyone has ever needed
anything different to happen in the makeinfo output.

Thanks,
karl