Hi Werner,

      \chardef\quotedblleft="5C
      \chardef\quotedblright=`\"

    If used within @code, this fails, ...

      \def\quotedblleft{{\ecfont \char"10}}
      \def\quotedblright{{\ecfont \char"11}}

Thanks.  I'll work on this, unless Oleg gets there first :).


Reply via email to